../ reg001/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg002/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg004/Fix 'where' lifting bug Make sure functions have unique names when lifted14 years ago reg005/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago reg006/Tweak totality checker14 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test002/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test003/Infrastructure for passing of parameters to idris during tests14 years ago test004/Better IO + faster compilation by avoiding needless cases in EVAL/APPLY14 years ago test005/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test006/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test007/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test008/Infrastructure for passing of parameters to idris during tests14 years ago test009/Infrastructure for passing of parameters to idris during tests14 years ago test010/Infrastructure for passing of parameters to idris during tests14 years ago test011/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test012/Infrastructure for passing of parameters to idris during tests14 years ago test013/Infrastructure for passing of parameters to idris during tests14 years ago test014/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test015/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 years ago test016/Add argument passing to new tests14 years ago test017/Correct totality check of f=f, and add regression test14 years ago test018/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago test019/Abstract matched terms from goal type in with clauses (like 'magic with' in Agda)14 years ago MakefileAdded test directory and a single test...15 years ago READMEAdded raw (non-typesafe) message passing library (System.Concurrency.Raw)14 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plFully compiles and tests under windows mingw3214 years ago