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
Links
Here are some links you might find useful:
Chorus website
Chorus API documentation
Chorus GitHub repository