git.iko.soy/Idris-dev
on master help sign in
fixed monad module (uppercase)
3e74a93raichoo
lib/Prelude/Monad.idr+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module prelude.monad
1+module Prelude.Monad
2
2
3-- Monads and Functors
3-- Monads and Functors
4
4