Closed jakubdaniel closed 5 years ago
It would be nice, if this package directly exported
class BoundedLattice a => ComplementedLattice a where complement :: a -> a
or something of that sort.
Taken how fine grained this library is atm, we'd need HeytingAlgebra in between.
HeytingAlgebra
There are heyting algebras which aren't boolean. See https://en.wikipedia.org/wiki/Heyting_algebra
Heyting algebra is added
It would be nice, if this package directly exported
or something of that sort.