search

ShapeOfMatter / MultiChor

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
Other
8 stars 0 forks source link

Example: Prio and/or DPrio #29

Open ShapeOfMatter opened 4 months ago

ShapeOfMatter commented 4 months ago

This would be very cool, but doing it without mocking-out the zero-knowlege stuff could be difficult...