git.iko.soy/Idris-dev
on 8c19e30 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