search

coot / heyting-algebras

Heyting Algebras in Haskell
https://hackage.haskell.org/package/heyting-algebras
BSD 3-Clause "New" or "Revised" License
14 stars 2 forks source link

Predicate a should be a BooleanAlgebra #7

Open kozross opened 4 years ago

kozross commented 4 years ago

As Predicate a ~ a -> Bool, it really ought to be an instance.