Comment by cpeterso

Interesting that their “money” type doesn’t allow fractional cents or track the currency. And the only collection type is a fixed-sized list. I can imagine a lot of other useful base types that would be useful for laws about the real world, such as physical units like meters.

https://catala-lang.org/en/examples/tutorial#The%20Catala%20...