The French wrote a (actually two, with the latest one formalising the first hacked up one) compiler for their tax code https://www.microsoft.com/en-us/research/

The French wrote a (actually two, with the latest one formalising the first hacked up one) compiler for their tax code https://www.microsoft.com/en-us/research/publication/a-modern-compiler-for-the-french-tax-code/ https://www.microsoft.com/en-us/research/publication/a-moder...