git.iko.soy/Idris-dev
on 5bfda79 help sign in
Idris-dev/lib/Control
1 folder, 2 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 … Category.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion