git.iko.soy/Idris-dev
on 441d941 help sign in
Idris-dev/effects/Effect
7 files
../ Exception.idrMinor tinkering with effects File.idrRename EFF to EFFECT (for more consistent naming rules) Memory.idrAn effect to allocate and manipulate memory Random.idrRename EFF to EFFECT (for more consistent naming rules) Select.idrRename EFF to EFFECT (for more consistent naming rules) State.idrMinor effects changes (locally, search depth) StdIO.idrMinor tinkering with effects