../ reg001/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg002/Allow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections14 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg006/Tweak totality checker14 years ago reg007/Make sure names are not defined more than once Fixes issue #12414 years ago reg008/Improve elaboration efficiency by cutting down on excessive backtracking14 years ago reg009/Added reg009 for catching unification problem14 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/Infrastructure for passing of parameters to idris during tests14 years ago test006/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test007/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test015/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 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/Add argument passing to new tests14 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