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

Add test cases for every example choreography #5

Closed ShapeOfMatter closed 4 months ago

ShapeOfMatter commented 5 months ago

note that some of the modules in examples/ have a couple options inside them.

ShapeOfMatter commented 4 months ago

I think this is better expressed in #33, and also that this isn't actually critical in time for submission.