ChorLambda

An agda formalisation of the ChorLambda type system from the paper

https://arxiv.org/abs/2111.03701
Functional Choreographic Programming
Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, Marco Peressotti