- Introduction
- 1. Getting Started
- 2. Basic Program Structure
- 2.1. Definitions & Declarations
- 2.2. Strings & Numbers
- 2.3. The let Expression
- 3. The Big Table
- 4. Built-In Definitions
- 5. Types & Their Expressions
- 5.1. Unit
- 5.2. Either
- 5.3. Pair
- 5.4. Function
- 5.5. Forall
- 5.6. Recursive
- 5.7. Choice
- 5.8. Iterative
- 5.9. Box
- 5.10. Exists
- 5.11. Continuation
- 6. The Process Syntax
- 6.1. The do Expression
- 6.2. Commands
- 6.2.1. Selecting & Sending
- 6.2.2. Looping & Branching
- 6.2.3. Receiving, Where It Shines
- 6.3. Channels & Linking
- 6.4. Construction by Destruction