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 lo

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%20language%20tutorial-Catala%20values https://catala-lang.org/en/examples/tutorial#The%20Catala%20...