git.iko.soy/Idris-dev
on 2d0cc49 help sign in
Idris-dev/libs/effects/Effect
10 files
../ Default.idrMake 'neweffects' the official effects package Exception.idrReplace 'effects' with neweffects File.idrrename writeLine to writeString, add writeLine Memory.idrFinished making standard library naming consistent Monad.idrMake 'neweffects' the official effects package Random.idrFix error in rndInt making lower bound ineffective Select.idrReplace 'effects' with neweffects State.idrReplace 'effects' with neweffects StdIO.idrReplace 'effects' with neweffects System.idrReplace 'effects' with neweffects