On: Templating for Lawyers

[benrbray]

You might be interested in Merigoux et al 2021, "A Modern Compiler for the French Tax Code" [1]!

[1]: https://arxiv.org/pdf/2011.07966.pdf

[pella → benrbray]

--> https://github.com/MLanguage/mlang

"Compiler for the M language, used to compute the income tax of French taxpayers"