Introduction
User guide
1.
Getting started
1.1.
Installing Catala on your machine
1.2.
Creating your first Catala program
2.
Tutorial : computing your taxes
3.
Setting up a Catala project
4.
FAQ: How to code the law?
4.1.
Usual design patterns
4.2.
Collaborating with lawyers
Reference guide
5.
The Catala language
6.
The clerk build system
7.
The catala compiler
Light
Rust
Coal
Navy
Ayu
The Catala domain-specific programming language
Collaborating with lawyers