git.iko.soy/Idris-dev
on 308efea 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.idrFriendly smart constructors for foreign integer types 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