1. Introduction
  2. Getting Started
  3. Basic Program Structure
    1. Definitions & Declarations
    2. Primitive Types
    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