../ 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 reg015/Fix eta problem14 years ago reg016/Parsing for Big Integer constants fixed14 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 test022/Enable alternate names for shared libraries14 years ago test023/Update type providers so that the decision of failure or otherwise is made in IO14 years ago test024/Fixed test14 years ago test025/Proper initialization semantics for raw memory14 years ago test026/Test for simple file-based type providers14 years ago MakefileProper executable and object file creation via maven + need for run_java tests removed14 years ago READMETest for simple file-based type providers14 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