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

DRAFT: Change ~> to move left proof with wrapped #45

Closed psilospore closed 3 months ago

psilospore commented 3 months ago

Draft PR not ready