CatalaLang / catala

Programming language for literate programming law specification

https://catala-lang.org

CatalaLang/catala Issues

Syntactic sugar for changing only part of a structure
Updated a month ago2
Broken links in READMEs
Updated a month ago
Handle CRLF line endings
Updated a month ago
Publish VS Code extension(s)
Updated a month ago1
Input/context subscopes ?
Updated a month ago
More linting filters
Updated 2 months ago
Add an option for a debug printer with types
Updated 2 months ago
Add a construct to distribute a total over of collection of coefficients
Closed 2 months ago12
Dependencies: trouble with base v0.16.0
Closed 2 months ago
Pygments lexer breaks LaTeX escapeinside
Updated 2 months ago4
Consider use of ATD for the definition of Catala types representation in the different backends
Updated 2 months ago4
Normalised results output
Closed 3 months ago4
Generated LaTeX fails to compile for tests
Closed 3 months ago12
Being able to refer to one particular variable state outside of definition
Updated 3 months ago5
Collection syntax conflicts
Closed 3 months ago5
clerk should collect tests in included files
Closed 3 months ago1
Some cases of the interpreter may be simplifiable
Closed 3 months ago
Move examples out of the repo (professionalize once 1.0 is out)
Closed 4 months ago4
Be able to use scope output struct as a real struct (build object)
Closed 4 months ago
UserFacing printer forgets minus sign for money in (-1, 0)
Closed 4 months ago
Type error fails at runtime when subtracting duration from date
Closed 4 months ago1
Syntax question: deconstructing tuples
Updated 4 months ago1
Renaming "collection" as "list"
Closed 5 months ago
UserFacing printer forgets minus sign for decimals in (-1, 0)
Closed 5 months ago
Test needed: date rounding specs through module calls
Updated 5 months ago
Add support for output subscopes
Updated 5 months ago
Build(assets): need to run 2 times the `website-assets` makefile command
Updated 6 months ago1
Module support (tracking issue)
Updated 7 months ago2
broken link in the documentation
Updated 7 months ago2
Dcalc interpreter is very slow
Closed 8 months ago1
Catala features (documentation/landing)
Closed 8 months ago2
Test and monitor performance regressions
Updated 8 months ago2
The first example in README.md appears wrong
Closed 8 months ago1
Remove and clean catala_legifrance
Closed 8 months ago
Explicitly choose a Markdown flavor ? (maybe commonmark?)
Updated 9 months ago5
Sugar for operations on collection literals
Updated 9 months ago2
CI is taking a huge amount of time... apparently because of npm ??
Closed 10 months ago2
Examples fail to compile
Closed a year ago2
Use [ocolor](https://opam.ocaml.org/packages/ocolor/) ?
Closed a year ago1
Tutorial's Article 3 conflicts with Article 2
Closed a year ago1
Conflits entre les articles 46 et 47 dans les archives (de 2020 à 2022)
Closed a year ago
printing bug
Closed a year ago3
Plugins(json_schema): don't generate `null` payloads
Closed a year ago
Application de la montée en charges pour les APL à SPM jusqu'en 2026
Closed a year ago4
Proof backend error on housing benefits
Closed a year ago2
clerck parsing issue
Closed a year ago2
invalid default term constructed when multiple definitions of the same variable
Closed a year ago6
Afficher les résultats intermédiaires d'un test pour les AL locatif
Closed a year ago3
Bug in formalizing US Section 121: Five-year periods
Updated a year ago5
js_of_ocaml switch 4.1->5.0 breaks our OCaml->JS compilation of Catala code
Updated a year ago