Merge pull request #63 from raichoo/master
Monad modulename to uppercase
commit5d2ff605eeafbd0bed20dac5f12212cd5dac5a2b
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 30 Oct 2012, 03:29 (14 years ago)
parent671d39a3e74a93
lib/Prelude/Monad.idr+1−1
@@ -1,4 +1,4 @@
1−module prelude.monad
1+module Prelude.Monad
22
33-- Monads and Functors
44