20 ms·

No, they actually wrote a (domain-specific) programming language based on this. The tax code is apparently complex enough to be Turing-complete :)

• notpushkin 3y ago
  Oh wow. Yeah, that's totally another level :D