1. Introduction
3. User guide
4. 1. Getting started
5. 1. 1.1. Installing Catala on your machine
   2. 1. 1.1.1. Linux/Mac/WSL
      2. 1.1.2. Windows
      3. 1.1.3. Nightly and development installations
   3. 1.2. Creating your first Catala program
6. 2. Tutorial : computing your taxes
7. 1. 2.1. Basic blocks of a Catala program
   2. 1. 2.1.1. Hands-on exercise
   3. 2.2. Conditional definitions and exceptions
   4. 2.3. Lists and scopes
   5. 2.4. Variable states and dynamic scope calls
8. 3. Walkthrough: setting up a Catala project
9. 1. 3.1. Directory structure and configuration
   2. 3.2. Project building and deployment
   3. 3.3. Test and continuous integration workflow
   4. 3.4. Agile development with lawyers and programmers
10. 4. FAQ: How to code the law?
11. 1. 4.1. General questions
    2. 4.2. Catala-specific questions
13. Reference guide
14. 5. The Catala language
15. 1. 5.1. Literate programming
    2. 5.2. Types, values and operations
    3. 5.3. Scopes, functions and constants
    4. 5.4. Definitions and exceptions
    5. 5.5. Expressions
    6. 5.6. Modules
    7. 5.7. Standard library
    8. 5.8. Extra features
    9. 1. 5.8.1. Attributes
       2. 5.8.2. External modules
       3. 5.8.3. JSON support
16. 6. The clerk build system
17. 1. 6.1. Project configuration file
    2. 6.2. Commands and workflow