../ 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/Change Show instance for Nat to show integers13 years ago reg005/Default to Integer instead of Int, and adjust fromInteger accordingly13 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/Some unification fixes13 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 reg017/Change Show instance for Nat to show integers13 years ago reg018/Check that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago reg019/Some unification fixes13 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/Change Show instance for Nat to show integers13 years ago test006/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test007/Change Show instance for Nat to show integers13 years ago test008/Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation13 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/Check that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago test015/EXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, …13 years ago test016/Coinductive types do not get smaller! Fix size change graph builder.13 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/Change Show instance for Nat to show integers13 years ago test020/Default to Integer instead of Int, and adjust fromInteger accordingly13 years ago test021/adapted expected output of test021 to honor modulo13 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/Fix for proofs in test025 (until I've added support for Decidable.Order)13 years ago test026/Make test026 more robust13 years ago test027/Allow type class constraints in 'using' clauses e.g. if a using block is given as13 years ago test028/Parse empty comments13 years ago MakefileProper executable and object file creation via maven + need for run_java tests removed14 years ago READMEAllow type class constraints in 'using' clauses e.g. if a using block is given as13 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use this13 years ago