../ reg001/Warn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)14 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 reg004/Fix 'where' lifting bug Make sure functions have unique names when lifted14 years ago test001/Infrastructure for passing of parameters to idris during tests14 years ago test002/Infrastructure for passing of parameters to idris during tests14 years ago test003/Infrastructure for passing of parameters to idris during tests14 years ago test004/Infrastructure for passing of parameters to idris during tests14 years ago test005/Infrastructure for passing of parameters to idris during tests14 years ago test006/Infrastructure for passing of parameters to idris during tests14 years ago test007/Infrastructure for passing of parameters to idris during tests14 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/Infrastructure for passing of parameters to idris during tests14 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/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 test015/uppercase modulenames14 years ago test016/Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago test017/Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago test018/Added missing test018a.idr14 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.plInfrastructure for passing of parameters to idris during tests14 years ago