../ Exception.idrMinor tinkering with effects14 years ago File.idrRename EFF to EFFECT (for more consistent naming rules)14 years ago Memory.idrMerge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitives13 years ago Random.idrRename EFF to EFFECT (for more consistent naming rules)14 years ago Select.idrRename EFF to EFFECT (for more consistent naming rules)14 years ago State.idrMinor effects changes (locally, search depth)14 years ago StdIO.idrMinor tinkering with effects14 years ago