Denis Merigoux 366c351930 Correctly compiles let bindings in expressions		2023-12-19 12:03:23 +01:00
..
catala_utils	Almost there with structs	2023-12-11 17:08:32 +01:00
dcalc	typo fixing	2023-12-07 13:48:46 +01:00
desugared	Allow scope execution in compiled ocaml executables	2023-12-06 11:06:54 +01:00
lcalc	Default types should be eliminated in compile_with_exceptions	2023-12-18 15:23:08 +01:00
literate	Fix #543	2023-12-06 16:58:38 +01:00
plugins	Almost there with structs	2023-12-11 17:08:32 +01:00
scalc	Correctly compiles let bindings in expressions	2023-12-19 12:03:23 +01:00
scopelang	Reformat	2023-11-30 23:53:38 +01:00
shared_ast	There are no more defaults in type after compile_with_exceptions...	2023-12-18 15:14:28 +01:00
surface	Document and first test for externals	2023-12-06 11:06:54 +01:00
verification	Typing defaults: support nested priorities	2023-11-27 11:09:08 +01:00
catala_web_interpreter.ml	Rework resolution of module elements	2023-11-30 21:14:12 +01:00
catala.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
driver.ml	Default types should be eliminated in compile_with_exceptions	2023-12-18 15:23:08 +01:00
driver.mli	Almost there with structs	2023-12-11 17:08:32 +01:00
dune	Add an explain plugin	2023-07-11 17:33:56 +02:00
index.mld	More doc	2023-06-18 16:08:16 +02:00
plugin.ml	Reformat	2023-09-27 13:19:04 +02:00
plugin.mli	Refacter the main Driver module	2023-07-03 16:42:54 +02:00
tests.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00