git.iko.soy/Idris-dev
on cb005bc help sign in
Idris-dev/libs/base/Control
2 folders, 5 files
../ Isomorphism/First renaming attempt Monad/Add type class and instances for monad transformers Arrow.idrMerge pull request #1795 from japesinator/arrow_classes Catchable.idrChange 'module Prelude.Catchable to 'module Control.Catchable' Category.idrLibrary changes: Please read details below! IOExcept.idrRemove needless Prelude imports Isomorphism.idrMove Fin, Vect and So from prelude to base