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