catala/compiler
2023-03-16 17:20:14 +01:00
..
catala_utils LaTeX literate output: handle pygments coloration from within Catala 2023-03-13 22:33:48 +01:00
dcalc Format code 2023-03-16 17:20:14 +01:00
desugared Add test for date rounding option conflict 2023-03-16 17:20:14 +01:00
lcalc Add date rounding option within scopes 2023-03-16 16:55:55 +01:00
literate LaTeX literate output: handle pygments coloration from within Catala 2023-03-13 22:33:48 +01:00
plugins fixed some mixup in Format.fprintf arguments 2023-02-21 16:19:17 +01:00
scalc Add date rounding option within scopes 2023-03-16 16:55:55 +01:00
scopelang Add date rounding option within scopes 2023-03-16 16:55:55 +01:00
shared_ast Update generated files 2023-03-16 17:20:09 +01:00
surface Update parser error message 2023-03-16 17:20:13 +01:00
verification Add date rounding option within scopes 2023-03-16 16:55:55 +01:00
catala_web_interpreter.ml Tweak error message location printing 2022-11-28 16:38:09 +01:00
catala.ml reformat (sync with master) 2022-03-09 10:43:17 +01:00
driver.ml Embed the Pygments Catala lexer 2023-03-13 14:41:24 +01:00
driver.mli Tweak error message location printing 2022-11-28 16:38:09 +01:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
index.mld Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
plugin.ml Install Catala plugins 2023-01-17 14:38:09 +01:00
plugin.mli Rename utils to catala_utils 2022-11-28 16:38:09 +01:00