search

purescript-contrib / purescript-these

Data type isomorphic to α ∨ β ∨ (α ∧ β)
MIT License
14 stars 11 forks source link

A few additions #17

Closed garyb closed 6 years ago

garyb commented 6 years ago

That's a technical term, it means "if and only if" :smile: