import Choreography.Projection.Project
import Choreography.Harmony
import Choreography.Assumptions

/-! # Choreography

Projection from global to local session types and its correctness (harmony).
`Choreography.Projection.Project` is the canonical projection API.
-/
