Introduction
User guide
1.
Getting started
1.1.
Installing Catala on your machine
1.1.1.
Linux/Mac/WSL
1.1.2.
Windows
1.2.
Creating your first Catala program
2.
Tutorial : computing your taxes
2.1.
Basic blocks of a Catala program
2.2.
Conditional definitions and exceptions
2.3.
Going modular with lists
3.
Setting up a Catala project
3.1.
Directory structure and configuration
3.2.
Test and continuous integration workflow
3.3.
Compilation and deployment
3.4.
External modules and compiler plugins
4.
FAQ: How to code the law?
4.1.
General questions
4.2.
Catala-specific questions
Reference guide
5.
The Catala language
6.
The catala compiler
7.
The clerk build system
Light
Rust
Coal
Navy
Ayu
The Catala domain-specific programming language
The clerk build system