git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/effects/Effect
6 files
../ Exception.idrAdded effects package and associated tests File.idrAdded effects package and associated tests Random.idrAdded effects package and associated tests Select.idrAdded effects package and associated tests State.idrAdded effects package and associated tests StdIO.idrChange argument order for mkStrFn