git.iko.soy/Idris-dev
on dfbb3db help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration. 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