git.iko.soy/Idris-dev
on fbcd643 help sign in
Idris-dev/libs/base/Control/Monad
5 files
../ Identity.idrRemove needless Prelude imports RWS.idrChanging all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>') Reader.idrAdded documentation to Control/Monad files State.idrAdded documentation to Control/Monad files Writer.idrAdded documentation to Control/Monad files