../ Resimp.idrChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago expectedFix resource language, add extra test for it14 years ago runAdd argument passing to new tests14 years ago run_javaBackend support for Java14 years ago testAdded test file for test01414 years ago test014.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago