| .. |
|
catala_utils
|
Fix complexity of some string functions
|
2024-03-08 17:36:00 +01:00 |
|
dcalc
|
Generalise the definition of lists of nested binders
|
2024-02-09 18:33:41 +01:00 |
|
desugared
|
Disambiguate enum constructors from current module in priority
|
2024-03-08 17:36:00 +01:00 |
|
lcalc
|
Fixing linking across modules for backends
|
2024-03-08 17:36:00 +01:00 |
|
literate
|
Tweak multi-module LaTeX output
|
2024-02-16 16:36:15 +01:00 |
|
plugins
|
Fixing linking across modules for backends
|
2024-03-08 17:36:00 +01:00 |
|
scalc
|
Adress @altgr's suggestion
|
2024-03-04 13:30:25 +01:00 |
|
scopelang
|
Typing: add a "assume operator types" mode
|
2024-02-07 17:41:04 +01:00 |
|
shared_ast
|
Lcalc interpreter: fix passing of context arguments
|
2024-02-26 14:56:43 +01:00 |
|
surface
|
Syntax: add keywords in front of list filtering / arg-extremum
|
2024-02-14 13:55:03 +01:00 |
|
verification
|
CI: fix the check for bad promoted files
|
2024-02-12 16:44:14 +01:00 |
|
catala_web_interpreter.ml
|
Rework resolution of module elements
|
2023-11-30 21:14:12 +01:00 |
|
catala.ml
|
replace let _ by let () or add type annotation
|
2023-09-09 22:02:39 +02:00 |
|
driver.ml
|
Fixing linking across modules for backends
|
2024-03-08 17:36:00 +01:00 |
|
driver.mli
|
Work on arrays
|
2024-01-22 16:49:58 +01:00 |
|
dune
|
CI: cleanup the exposed artifacts
|
2024-01-22 13:58:32 +01:00 |
|
index.mld
|
More doc
|
2023-06-18 16:08:16 +02:00 |
|
plugin.ml
|
Add externals to scalc, working test with Python backend
|
2024-02-26 14:56:43 +01:00 |
|
plugin.mli
|
Add externals to scalc, working test with Python backend
|
2024-02-26 14:56:43 +01:00 |
|
tests.ml
|
Generalise the definition of lists of nested binders
|
2024-02-09 18:33:41 +01:00 |
