Draft: Federated Lottery from DPrio

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

Closed psilospore closed 3 months ago

psilospore commented 4 months ago

This is a draft PR so it has some temporary code. Feel free to make suggestions or hints.