- 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. Types & Their Expressions
- 4.1. Unit
- 4.2. Either
- 4.3. Pair
- 4.4. Function
- 4.5. Forall
- 4.6. Recursive
- 4.7. Choice
- 4.8. Iterative
- 4.9. Exists
- 4.10. Continuation
- 5. The Process Syntax
- 5.1. The do Expression
- 5.2. Commands
- 5.2.1. Selecting & Sending
- 5.2.2. Looping & Branching
- 5.2.3. Receiving, Where It Shines
- 5.3. Channels & Linking
- 5.4. Construction by Destruction