Denis Merigoux 42d79e5169 Merge branch 'master' into proof_platform		2022-01-21 09:55:34 +01:00
..
dcalc	Documentation pass	2022-01-19 10:54:16 +01:00
desugared	Documentation pass	2022-01-19 10:54:16 +01:00
lcalc	Documentation pass	2022-01-19 10:54:16 +01:00
literate	Merge branch 'master' into proof_platform	2022-01-21 09:55:34 +01:00
scalc	Documentation pass	2022-01-19 10:54:16 +01:00
scopelang	Documentation pass	2022-01-19 10:54:16 +01:00
surface	Documentation pass	2022-01-19 10:54:16 +01:00
utils	Revamped CLI doc	2022-01-19 11:20:25 +01:00
verification	Documentation pass	2022-01-19 10:54:16 +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	Functorize VC solving IO [skip ci]	2022-01-18 18:51:02 +01:00
dune	Renamed and grouped modules cleanly	2022-01-08 18:37:04 +01:00
index.mld	Documentation pass	2022-01-19 10:54:16 +01: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