4 ms·

Care to elaborate on the proposals to do laws via formal languages? Seems like there's a lot of pitfalls there, but that comes with the territory of writing la

• mdaniel 2y ago
  https://github.com/CatalaLang/catala#readme https://github.com/CatalaLang/catala#readme is the most famous one I know of, and https://github.com/CatalaLang/catleg https://github.com/CatalaLang/catleg is an integration with the French legal code. https://catleg.readthedocs.io/en/latest/cli_reference.html#catleg-article https://catleg.readthedocs.io/en/latest/cli_reference.html#c... gives an example URL that has unfortunately link rotted but wayback has it https://web.archive.org/web/20240721045507/https://www.legifrance.gouv.fr/codes/article_lc/LEGIARTI000033971416 https://web.archive.org/web/20240721045507/https://www.legif... I am pretty sure there are several more but that's the one I can recall. It has been discussed here periodically https://news.ycombinator.com/from?site=github.com/catalalang https://news.ycombinator.com/from?site=github.com/catalalang (and https://news.ycombinator.com/from?site=catala-lang.org https://news.ycombinator.com/from?site=catala-lang.org ) with the 2023 thread being the beefiest https://news.ycombinator.com/item?id=37546874 https://news.ycombinator.com/item?id=37546874