catala/compiler/lcalc
2024-09-26 10:00:04 +02:00
..
ast.ml AST change: more specific application 2023-12-19 17:27:40 +01:00
ast.mli AST change: more specific application 2023-12-19 17:27:40 +01:00
closure_conversion.ml Cleanup: add function for more direct stringification of uids 2024-09-17 11:59:52 +02:00
closure_conversion.mli Closure conversion: restore non-transformation of higher order ops under a flag 2024-08-30 15:36:25 +02:00
dune Build: remove unnecessary ppx on dcalc, lcalc 2023-05-17 14:08:32 +02:00
expand_op.ml Reformat 2024-08-09 12:24:34 +02:00
expand_op.mli Reformat 2024-08-09 12:24:34 +02:00
from_dcalc.ml Cleanup a bit the generation of the HandleExceptions operator 2024-08-29 10:55:12 +02:00
from_dcalc.mli Remove the with-exceptions backend 2024-07-04 15:08:13 +02:00
lcalc.mld More doc 2023-06-18 16:08:16 +02:00
monomorphize.ml Reformat 2024-09-02 13:54:29 +02:00
monomorphize.mli Reformat 2024-09-02 13:54:29 +02:00
to_ocaml.ml Progress on the C backend (#671) 2024-09-26 10:00:04 +02:00
to_ocaml.mli Move struct_or_enum type to generic TypeIdent.t 2024-09-02 13:52:34 +02:00