Aymeric Fromherz ce80d1e9e9 Omit Log node from VC generation		2022-01-07 18:47:53 +01:00
..
dcalc	Omit Log node from VC generation	2022-01-07 18:47:53 +01:00
desugared	Fixed a bug [skip ci]	2022-01-05 15:37:34 +01:00
lcalc	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
literate	fix(latex): render properly the '^' and fix the french babel usage	2021-12-31 20:50:03 +01:00
scalc	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
scopelang	fix(build/doc): remove warnings due to .ml* files	2022-01-02 14:53:51 +01:00
surface	Fixed all bugs	2022-01-05 15:57:18 +01:00
utils	Added proof of concept of verification condition generation	2022-01-07 12:04:31 +01:00
catala_web_interpreter.ml	Building a JS version of the Catala compiler	2021-11-12 10:07:13 +01:00
catala.ml	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
driver.ml	Merge branch 'proof_platform' of github.com:CatalaLang/catala into proof_platform	2022-01-07 18:37:30 +01:00
dune	Building a JS version of the Catala compiler	2021-11-12 10:07:13 +01:00
index.mld	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
runtime.ml	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
runtime.mli	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00