1. Introduction
  2. Getting Started
  3. Basic Program Structure
    1. Definitions & Declarations
    2. Strings & Numbers
    3. The let Expression
  4. The Big Table
  5. Types & Their Expressions
    1. Unit
    2. Either
    3. Pair
    4. Function
    5. Forall
    6. Recursive
    7. Choice
    8. Iterative
    9. Exists
    10. Continuation
  6. 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