git.iko.soy/Idris-dev
on dee61df 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