rnhmjoj/interlude
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix typo

Browse Source
This commit is contained in:
rnhmjoj 2016-11-28 19:41:59 +01:00
parent d59417834d
commit be168245c9
No known key found for this signature in database
GPG Key ID: 362BB82B7E496B7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Bool.hs
View File

@ -28,7 +28,7 @@ singletons [d|
deriving (Eq, Show) deriving (Eq, Show)
-- * Logical operatos -- * Logical operators
-- | Conjuction -- | Conjuction
(∧) ∷ 𝔹 → 𝔹 → 𝔹 (∧) ∷ 𝔹 → 𝔹 → 𝔹