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

enforce quorum during epp and network evaluation #7

Open ShapeOfMatter opened 5 months ago

ShapeOfMatter commented 5 months ago

It's not clear yet how this should work.

ShapeOfMatter commented 4 months ago

edited this to keep it distinct from #24. Here our concern should be that the "backend" where all the addresses live suffices for network evaluation.