Remove docstrings from things that can't have them
commit2c9a9453b0fafc55ece655915b335aab6c787bc8
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 16 Feb 2014, 18:48 (13 years ago)
parent5d4f534
libs/prelude/Prelude/Chars.idr+1−1
@@ -1,5 +1,5 @@
1−-- | Functions operating over Char's
21module Prelude.Char
2+-- Functions operating over Chars
33
44import Builtins
55
libs/prelude/Prelude/Maybe.idr+1−1
@@ -64,7 +64,7 @@ instance (Eq a) => Eq (Maybe a) where
6464 (Just _) == Nothing = False
6565 (Just a) == (Just b) = a == b
6666
67−-- | Lift a semigroup into 'Maybe' forming a 'Monoid' according to
67+-- Lift a semigroup into 'Maybe' forming a 'Monoid' according to
6868-- <http://en.wikipedia.org/wiki/Monoid>: "Any semigroup S may be
6969-- turned into a monoid simply by adjoining an element i not in S
7070-- and defining i+i = i and i+s = s = s+i for all s in S."