git.iko.soy/Idris-dev
on 73eb351 help sign in
Idris-dev/lib/Control
1 folder, 4 files
../ Monad/Remove "return" from Monad Arrow.idrrenamed homomorphism to morphism Catchable.idrAdd Catchable and IOExcept modules Category.idrrenamed homomorphism to morphism IOExcept.idrRemove "return" from Monad