catala/compiler/scopelang
Louis Gesbert f2fc79f640 Add some helper functions in a wrapper Map module
and use them throughout. No more `List.map fst (Map.bindings m)` !

Also adds some facilities for direct formatting without going through a list.
2023-07-12 11:51:15 +02:00
..
ast.ml Improve integration of marks into the main AST 2023-05-17 17:37:00 +02:00
ast.mli Improve integration of marks into the main AST 2023-05-17 17:37:00 +02:00
dependency.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
dependency.mli Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
from_desugared.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
from_desugared.mli Refactoring for cleaner exception graph building 2023-04-18 11:06:58 +02:00
print.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
print.mli Generalise the types to allow scopelang ASTs to be typed 2022-10-04 14:50:37 +02:00
scopelang.mld Fix most doc errors 2023-06-02 17:17:45 +02:00