search

ShapeOfMatter / MultiChor

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
Other
7 stars 0 forks source link

use indicies instead of phantom proofs #51

Closed ShapeOfMatter closed 2 months ago

ShapeOfMatter commented 2 months ago

This isolates one of the big refactors of #52: it removes gdp as a dependency and upgrades the proof objects from phantoms to pattern-matchable indices.

Included in this is refactoring Faceted as wrappers around functions, but without bringing in forLocs we can't actually build them that way.