git.iko.soy/Idris-dev
on bd8ea0a help sign in
Idris-dev/libs/oldeffects/Effect
10 files
../ Default.idrChange Instance to implementation (#3404) Exception.idrChange Instance to implementation (#3404) File.idrChange Instance to implementation (#3404) Memory.idrChange Instance to implementation (#3404) Monad.idrChange Instance to implementation (#3404) Random.idrChange Instance to implementation (#3404) Select.idrChange Instance to implementation (#3404) State.idrChange Instance to implementation (#3404) StdIO.idrChange Instance to implementation (#3404) System.idrChange Instance to implementation (#3404)