Denis Merigoux 7fc37f9af8 Added controls for Dcalc and Scopelang		2022-01-11 11:25:41 +01:00
..
dcalc	Autoformatting	2022-01-10 18:36:14 +01:00
desugared	Fixed a bug [skip ci]	2022-01-05 15:37:34 +01:00
lcalc	Autoformatting	2022-01-10 18:36:14 +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	Added controls for Dcalc and Scopelang	2022-01-11 11:25:41 +01:00
surface	Autoformatting	2022-01-10 18:36:14 +01:00
utils	Merge branch 'master' into clerk	2022-01-10 18:36:49 +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	Working prototype of clerk, the new build system for Catala	2022-01-10 17:57:58 +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