../ reg001/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg002/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg004/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg005/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg006/Proper executable and object file creation via maven + need for run_java tests removed14 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 reg010/Fix error with linearity checking in patterns14 years ago reg011/Be more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #22714 years ago reg012/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago reg013/Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLen14 years ago reg014/Improved type-directed name disambiguation14 years ago test001/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test002/Fix error in conversion check Fixes issue #18714 years ago test003/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test004/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test005/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test006/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test007/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test008/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test009/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test010/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test011/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test012/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test013/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test014/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test015/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test016/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test017/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test018/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test019/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test020/Improved type-directed name disambiguation14 years ago test021/Proper executable and object file creation via maven + need for run_java tests removed14 years ago MakefileProper executable and object file creation via maven + need for run_java tests removed14 years ago READMEAdded effects package and associated tests14 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plProper executable and object file creation via maven + need for run_java tests removed14 years ago