git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/samples/effects
11 files
../ ConsoleIO.idrSpun out effects into own sub folder Exception.idrSpun out effects into own sub folder 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.idrSpun out effects into own sub folder TreeTagCount.idrSpun out effects into own sub folder hworld.idrSpun out effects into own sub folder vadd.idrSpun out effects into own sub folder