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

EPP as multi-stage compilation #14

Open ShapeOfMatter opened 4 months ago

ShapeOfMatter commented 2 months ago

This is nominally impossible in haskell, at least under GHC. would still be cool though!