CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 16:16:44 +03:00
Code Issues Projects Releases Wiki Activity
8ad752eba5
catala/build_system
History
Denis Merigoux edeba14692
Just typechecking for compiler
2022-01-31 15:28:19 +01:00
..
clerk.ml Just typechecking for compiler 2022-01-31 15:28:19 +01:00
dune Unit tests for examples now use clerk 2022-01-11 10:42:12 +01:00