git.iko.soy/Idris-dev
on fc79985 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.idrDefault to Integer instead of Int, and adjust fromInteger accordingly Random.idrFix primitive references in test025 Select.idrRename EFF to EFFECT (for more consistent naming rules) State.idrMinor effects changes (locally, search depth) StdIO.idrMinor tinkering with effects