git.iko.soy/Idris-dev
on a5ea29f help sign in
Idris-dev/lib/Control
1 folder, 4 files
../ Monad/Make 'Type' the type of types instead of Sets ...after mailing list discussion Arrow.idrMore sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers … Catchable.idrAdd Catchable and IOExcept modules Category.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion IOExcept.idrAdd Catchable and IOExcept modules