We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 3fcaeb9 + 0a28de2 commit f9bde67Copy full SHA for f9bde67
src/Data/Monoid/Disj.purs
@@ -6,7 +6,7 @@ import Data.Eq (class Eq1)
6
import Data.HeytingAlgebra (ff, tt)
7
import Data.Ord (class Ord1)
8
9
--- | Monoid and semigroup for disjuntion.
+-- | Monoid and semigroup for disjunction.
10
-- |
11
-- | ``` purescript
12
-- | Disj x <> Disj y == Disj (x || y)
0 commit comments