Up – Package index » The Catala compiler » Sources

Sources

This contains the rendered source for catala. Use the sidebar to navigate them.

The Catala compiler
- README
- Default calculus
- Desugared representation
- Literate programming
- The scope language
- Catala surface representation
- Compiler utilities
- Library catala
  - Catala
- Library catala.dcalc
  - Dcalc
- Library catala.desugared
  - Desugared
- Library catala.law_source
  - Law_source
- Library catala.lcalc
  - Lcalc
- Library catala.literate
  - Literate
- Library catala.runtime
  - Runtime
- Library catala.scopelang
  - Scopelang
- Library catala.surface
  - Surface
- Library catala.utils
  - Utils
- Sources
  - catala
    - catala.ml
    - driver.ml
  - catala.dcalc
  - catala.desugared
  - catala.law_source
    - allocations_familiales.ml
    - law_source.ml
  - catala.lcalc
  - catala.literate
  - catala.runtime
    - runtime.ml
  - catala.scopelang
  - catala.surface
  - catala.utils