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

Examples: everything from the he-lambda-small paper. #28

Open ShapeOfMatter opened 4 months ago

ShapeOfMatter commented 4 months ago

Not all of the examples in there are interesting, but it'd be nice to be able to say that we can definitely do all of them.

ShapeOfMatter commented 4 months ago

by design, many of the figures are duplicates. Figures 20 and 17 are done.