git.iko.soy/Idris-dev
on d9c3c21 help sign in
history oflib/Control/Arrow.idr
all commits
4be6831renamed homomorphism to morphismraichoo a76f8b3More 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 in type class instances for types with indices.Edwin Brady cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady 27df3e0extended morphisms/categories/arrowsraichoo 2a536ecmoved morphisms to lib/Dataraichoo 5c9a88auppercase modulenamesraichoo