git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc expectedFix resource language, add extra test for it runAdd argument passing to new tests testAdded test file for test014 test014.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion