Denis Merigoux 9d05dad3fb Passing all tests!		2022-04-04 15:56:45 +02:00
..
dcalc	Passing all tests!	2022-04-04 15:56:45 +02:00
desugared	Fix logging operator location for default justifications	2022-03-16 11:44:34 +01:00
lcalc	Continuing to adapt code to new binded representation [skip ci]	2022-04-02 14:51:11 +02:00
literate	reformat (sync with master)	2022-03-08 16:12:25 +01:00
scalc	Prettify Scalc	2022-03-21 14:58:54 +01:00
scopelang	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
surface	Typo in lexer	2022-03-17 13:23:07 +01:00
utils	Merge pull request #222 from CatalaLang/refactor-catala_backend_option-functions	2022-03-09 11:12:01 +01:00
verification	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
catala_web_interpreter.ml	Fix compilation catala_web_interpreter	2022-03-08 17:35:57 +01:00
catala.ml	reformat (sync with master)	2022-03-08 16:12:25 +01:00
driver.ml	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
driver.mli	reformat (sync with master)	2022-03-08 16:12:25 +01:00
dune	Renamed and grouped modules cleanly	2022-01-08 18:37:04 +01:00
index.mld	Update asset and fix missing link in doc	2022-01-21 20:16:07 +01:00
runtime.ml	Fix wrong round definitions in runtime	2022-03-17 13:09:57 +01:00
runtime.mli	Implement the round money builtin	2022-03-17 12:30:14 +01:00