catala.dcalc
Dcalc
api_web
catala.catala_utils
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.plugins
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.shared_ast
catala.surface
catala.verification
json_schema
python
module Ast : sig ... end
Abstract syntax tree of the default calculus intermediate representation
module From_scopelang : sig ... end
Scope language to default calculus translator
module Interpreter : sig ... end
Reference interpreter for the default calculus
module Optimizations : sig ... end
Optimization passes for default calculus programs and expressions