Arxo

Trends

1
Catala and Arxo: Law as Code, Two Languages Agree●Two independent formalizations of the same regulation, written in two different languages, agreed on... # programming #Mmastodon Technology Software33 d ago
Two independently developed programming languages for encoding legislation — Catala and Arxo — were used to formalize the same regulation, and the resulting implementations agreed on their outputs. The comparison is being discussed as evidence that 'law as code' approaches can produce consistent, verifiable interpretations of legal texts across different tools, languages, and development teams.