1. Introduction
  2. Getting Started
  3. Basic Program Structure
    1. Definitions & Declarations
    2. Strings & Numbers
    3. The let Expression
  4. The Big Table
  5. Built-In Definitions
  6. Types & Their Expressions
    1. Unit
    2. Either
    3. Pair
    4. Function
    5. Forall
    6. Recursive
    7. Choice
    8. Iterative
    9. Box
    10. Exists
    11. Continuation
  7. The Process Syntax
    1. The do Expression
    2. Commands
      1. Selecting & Sending
      2. Looping & Branching
      3. Receiving, Where It Shines
    3. Channels & Linking
    4. Construction by Destruction