Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
8
stars
0
forks
source link
Pretty sure the new core API is sound, except we should have a restriction on epp that I don't know how to write. #23
Closed
ShapeOfMatter closed 4 months ago
closes #4