There have been attempts by the French and Dutch governments to codify parts of tax law as a trial of sorts, check out M for one https://github.com/MLanguage/ml

There have been attempts by the French and Dutch governments to codify parts of tax law as a trial of sorts, check out M for one https://github.com/MLanguage/mlang https://github.com/MLanguage/mlang Nevertheless, such efforts cover minimal portions already very clearly defined and debated. As another commenter replied, reforms are rarely undertaken for various reasons. One great issue with tax law is also that whatever code you may write is not necessarily guaranteed to be 'better' (fairness, revenue collected, lack of loopholes and edge cases, completeness, correctness... pick your metric) simply because it's code. That's what I thought too; but no longer.