../ reg001/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg002/Backend support for Java14 years ago reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg004/Backend support for Java14 years ago reg005/Backend support for Java14 years ago reg006/Backend support for Java14 years ago reg007/Make sure names are not defined more than once Fixes issue #12414 years ago reg008/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago reg009/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test001/Backend support for Java14 years ago test002/Fix error in conversion check Fixes issue #18714 years ago test003/Backend support for Java14 years ago test004/Backend support for Java14 years ago test005/Backend support for Java14 years ago test006/Backend support for Java14 years ago test007/Backend support for Java14 years ago test008/Backend support for Java14 years ago test009/Backend support for Java14 years ago test010/Backend support for Java14 years ago test011/Backend support for Java14 years ago test012/Backend support for Java14 years ago test013/Backend support for Java14 years ago test014/Backend support for Java14 years ago test015/Backend support for Java14 years ago test016/Backend support for Java14 years ago test017/Backend support for Java14 years ago test018/Backend support for Java14 years ago test019/Backend support for Java14 years ago test020/Backend support for Java14 years ago test021/Backend support for Java14 years ago MakefileBackend support for Java14 years ago READMEAdded effects package and associated tests14 years ago mkjavatest.plBackend support for Java14 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plBackend support for Java14 years ago