Introduction
1.
Getting Started
2.
Guide
2.1.
Locations
2.2.
Choreography
2.3.
Located Values
2.4.
Transport
2.5.
Projector
2.6.
Input and Output
2.7.
Higher-order Choreography
2.8.
Location Polymorphism
2.9.
Choreographic Enclave and Efficient Conditional
2.10.
Runner
3.
Links
Light
Rust
Coal
Navy
Ayu
ChoRus
Guide
This section will guide you through the concepts and features of ChoRus.