git.iko.soy/Idris-dev
on 0fef623 help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion 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