We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 318ee85 + 35dc484 commit c7e8806Copy full SHA for c7e8806
src/Data/BooleanAlgebra.purs
@@ -3,7 +3,7 @@ module Data.BooleanAlgebra
3
, module Data.HeytingAlgebra
4
) where
5
6
-import Data.HeytingAlgebra (class HeytingAlgebra, ff, tt, implies, conj, disj, not)
+import Data.HeytingAlgebra (class HeytingAlgebra, ff, tt, implies, conj, disj, not, (&&), (||))
7
import Data.Unit (Unit)
8
9
-- | The `BooleanAlgebra` type class represents types that behave like boolean
0 commit comments