There is an example of the US tax code on the landing page of website (https://catala-lang.org/en/ https://catala-lang.org/en/) so they actually seem to have al

There is an example of the US tax code on the landing page of website (https://catala-lang.org/en/ https://catala-lang.org/en/) so they actually seem to have also tried the language on English-written law!