git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/libs/base/Control
1 folder, 5 files
../ Monad/add runWriter helper Arrow.idrPurify Idris of "return" Catchable.idrThese are both called by Core.Core in Blodwen, which I also want to make %default total Category.idrMake Category poly-kinded. IOExcept.idrChange export qualifier keywords Isomorphism.idrmtimes, stimes, and Monoid for Iso