HeytingAlgebra instance
Closed this issue · 1 comments
garyb commented
@paf31 you mentioned in purescript/purescript-prelude#62 that Tuple is a HeytingAlgebra, is the definition we have here what you meant, or is there something cleverer/more useful than that?
paf31 commented
Yes, that's the one. It just allows for multiple different interpretations of the Boolean operations at the same time, e.g. Boolean and Interval, or whatever.