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

Clean up repository #11

Closed ShapeOfMatter closed 4 months ago

ShapeOfMatter commented 4 months ago

Eventually we'll have want to make this public; so we'll have to file off HasChor's serial numbers, so to speak.

ShapeOfMatter commented 4 months ago

Parts of this are already done. We don't need to be package-ready, or even camera-ready, to submit to the symposium, so the only blocker here is some kind of blessing from Gan Shen.

ShapeOfMatter commented 4 months ago

0fef224326b3edc03db43f4ab07c40010dfa33ea