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

Rename "replicatevly" to "congruently" #42

Closed ShapeOfMatter closed 3 months ago

ShapeOfMatter commented 3 months ago

The word "replicatively" is awkward and doesn't really capture the idea of "stronger than parallel". "Congruent" means "the same, except somplace else", so it's perfect for our needs.