Denis Merigoux e3e2e6c4e2 Better PDF		2022-05-04 14:01:24 +02:00
..
dcalc	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
desugared	Fix logging operator location for default justifications	2022-03-16 11:44:34 +01:00
lcalc	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
literate	Better PDF	2022-05-04 14:01:24 +02:00
scalc	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
scopelang	Code builds but bugguy [skip ci]	2022-04-04 08:56:48 +02:00
surface	Corrige problème lexing arrondi en français	2022-04-29 21:41:20 +02:00
utils	Better PDFs	2022-04-29 12:55:09 +02:00
verification	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
catala_web_interpreter.ml	Restore web build	2022-04-11 10:59:40 +02:00
catala.ml	reformat (sync with master)	2022-03-09 10:43:17 +01:00
driver.ml	Put closure conversion prototype under a flag	2022-04-04 17:43:30 +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	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00
runtime.mli	Adds a decimal rounding operator	2022-04-29 21:18:15 +02:00