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

fix precidence/associativity of `@@` #19

Closed ShapeOfMatter closed 4 months ago

ShapeOfMatter commented 4 months ago

The "proof-cons" operator @@ requires too many parenthesis to use; I think we can annotate it in a way where it will usually require none.

ShapeOfMatter commented 4 months ago

done by fb061c8