Merge pull request #267 from LeifW/get_rid_of_unicode_in_source
Remove the unicode from the source files.
commitd1cb783f8c43713bf444d6b0bb7bc29d4f93906d
authorEdwin Brady <edwin.brady@gmail.com>
dateThu 4 Apr 2013, 03:07 (14 years ago)
parent34506e91abf366
lib/Prelude/Maybe.idr+1−1
@@ -66,7 +66,7 @@ instance (Eq a) => Eq (Maybe a) where
6666-- | Lift a semigroup into 'Maybe' forming a 'Monoid' according to
6767-- <http://en.wikipedia.org/wiki/Monoid>: "Any semigroup S may be
6868-- turned into a monoid simply by adjoining an element i not in S
69−-- and defining i+i = i and i+s = s = s+i for all s ∈ S."
69+-- and defining i+i = i and i+s = s = s+i for all s in S."
7070
7171instance (Semigroup a) => Semigroup (Maybe a) where
7272 Nothing <+> m = m