Untitled (https://arxiv.org/pdf/2011.07966.pdf)

I will take short digression from jokes about COBOL and point out a pair of delightful works from Merigoux et al.:

A Modern Compiler for the French Tax Code:

The Catala Language:

arxiv.org ↗