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
Creating your first Catala program
Importing the legal specification into a Catala file
Writing your first Catala code block
Typechecking and running the Catala program