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.literate
  - Literate
- Library catala.scopelang
  - Scopelang
- Library catala.surface
  - Surface
- Library catala.utils
  - Utils
- Sources
  - catala
    - catala.ml
    - driver.ml
  - catala.dcalc
  - catala.desugared
  - catala.literate
  - catala.scopelang
  - catala.surface
  - catala.utils