on master help sign in
fixed monad module (uppercase)
commit3e74a93618ff5ccb1748f1996fab503e3fc4c416 authorraichoo <raichoo@googlemail.com> dateMon 29 Oct 2012, 18:10 (14 years ago) parent2541a16
1 file changed+1−1
lib/Prelude/Monad.idr+1−1
lib/Prelude/Monad.idr+1−1
@@ -1,4 +1,4 @@
1−module prelude.monad
1+module Prelude.Monad
22
33-- Monads and Functors
44