git.iko.soy/Idris-dev
on 0924f34 help sign in
Idris-dev/samples/effects
11 files
../ ConsoleIO.idrSpun out effects into own sub folder Exception.idrChange Instance to implementation (#3404) MakefileSpun out effects into own sub folder Random.idrSpun out effects into own sub folder ReadInt.idrSpun out effects into own sub folder Select.idrSpun out effects into own sub folder TreeTag-noeff.idrSpun out effects into own sub folder TreeTag.idrChange Instance to implementation (#3404) TreeTagCount.idrSpun out effects into own sub folder hworld.idrSpun out effects into own sub folder vadd.idrSpun out effects into own sub folder