1. Introduction
2. 1. Getting Started
3. 2. Basic Program Structure
4. 1. 2.1. Definitions & Declarations
   2. 2.2. Packages & Modules
   3. 2.3. Primitive Types
   4. 2.4. The let Expression
5. 3. Types & Their Expressions
6. 1. 3.1. Unit
   2. 3.2. Either
   3. 3.3. Pair
   4. 3.4. Function
   5. 3.5. Forall
   6. 3.6. Implicit Generics
   7. 3.7. Recursive
   8. 3.8. Choice
   9. 3.9. Iterative
   10. 3.10. Box
   11. 3.11. Exists
   12. 3.12. Continuation
   13. 3.13. The Big Table
7. 4. The Process Syntax
8. 1. 4.1. The do Expression
   2. 4.2. Commands
   3. 1. 4.2.1. Selecting & Sending
      2. 4.2.2. Looping & Branching
      3. 4.2.3. Receiving, Where It Shines
   4. 4.3. Channels & Linking
   5. 4.4. Construction by Destruction
9. 5. Quality of Life Syntax Sugar
10. 1. 5.1. Error Handling
    2. 5.2. Conditions & if
    3. 5.3. Pipes
11. 6. Nondeterminism, Servers & Clients
12. 1. 6.1. Polling & Submitting
    2. 6.2. The Fan Pattern
    3. 6.3. Communicating Both Ways
    4. 6.4. Switching Modes With repoll