vbot 2b8d6676d5 Scopelang: add list of definitions's positions to scope var def		2024-07-17 18:03:23 +02:00
..
catala_utils	Fix formatting of debug timing markers	2024-07-04 15:08:13 +02:00
dcalc	Scopelang: add list of definitions's positions to scope var def	2024-07-17 18:03:23 +02:00
desugared	Refactor suggestions	2024-06-20 15:59:54 +02:00
lcalc	Cleanup leftover commented code bits	2024-07-08 10:12:42 +02:00
literate	Literate output: adjust catala-metadata margins	2024-06-26 12:09:15 +02:00
plugins	Replace HandleDefault* internal operators by HandleExceptions	2024-07-04 15:08:13 +02:00
scalc	Remove the R backend	2024-07-08 14:52:41 +02:00
scopelang	Scopelang: add list of definitions's positions to scope var def	2024-07-17 18:03:23 +02:00
shared_ast	Small printer fix	2024-07-05 18:03:01 +02:00
surface	Update some dependencies	2024-06-26 12:37:57 +02:00
verification	More precise positions for operators throughout	2024-04-30 16:35:08 +02:00
catala_web_interpreter.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
catala.ml	replace let _ by let () or add type annotation	2023-09-09 22:02:39 +02:00
driver.ml	Remove the R backend	2024-07-08 14:52:41 +02:00
driver.mli	Remove the with-exceptions backend	2024-07-04 15:08:13 +02:00
dune	Update opam file according to opam-repository reviews	2024-05-06 21:39:58 +02:00
index.mld	More doc	2023-06-18 16:08:16 +02:00
plugin.ml	Rewriting message calls to use the new intf	2024-04-10 19:26:23 +02:00
plugin.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
tests.ml	Generalise the definition of lists of nested binders	2024-02-09 18:33:41 +01:00