git.iko.soy/Idris-dev
on master 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.idrRemove deprecated calls to return TreeTagCount.idrSpun out effects into own sub folder hworld.idrSpun out effects into own sub folder vadd.idrSpun out effects into own sub folder