mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-09 22:16:10 +03:00
8 lines
279 B
Plaintext
8 lines
279 B
Plaintext
implementing options translation
|
|
|
|
practical issues:
|
|
* bindlib code is hard to read without let+.
|
|
* type inference is not implemented for lcalc terms. So i will need to go inside dcalc terms.
|
|
* manipulating lets requires types
|
|
* lets are use everywhere inside the translation
|