Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
Latest commits.
No recent commits available.
Builders behind this project.
No contributor data available.