../ 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 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/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago test018/Add argument passing to new tests14 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