git.iko.soy/Idris-dev
on 04801ec help sign in
Idris-dev/libs/base/Control
2 folders, 5 files
../ Isomorphism/Add iso between String and List Char Monad/Fix parameter propagation Arrow.idrChange 'module Category.Arrow' to 'module Control.Arrow' Catchable.idrChange 'module Prelude.Catchable to 'module Control.Catchable' Category.idrLibrary changes: Please read details below! IOExcept.idrRemove needless Prelude imports Isomorphism.idrAdd some docstrings