Skip to content

Commit 0a28de2

Browse files
committed
Typo
(nothing more :))
1 parent 3fcaeb9 commit 0a28de2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Data/Monoid/Disj.purs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ import Data.Eq (class Eq1)
66
import Data.HeytingAlgebra (ff, tt)
77
import Data.Ord (class Ord1)
88

9-
-- | Monoid and semigroup for disjuntion.
9+
-- | Monoid and semigroup for disjunction.
1010
-- |
1111
-- | ``` purescript
1212
-- | Disj x <> Disj y == Disj (x || y)

0 commit comments

Comments
 (0)