1. Introduction
2. 1. Getting Started
3. 2. Guide
4. 1. 2.1. Locations
   2. 2.2. Choreography
   3. 2.3. Located Values
   4. 2.4. Transport
   5. 2.5. Projector
   6. 2.6. Input and Output
   7. 2.7. Runner
   8. 2.8. Higher-order Choreography
   9. 2.9. Location Polymorphism
   10. 2.10. Efficient Conditionals with Enclaves and MLVs
5. 3. Links