| .. |
| basic001 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| basic002 | Change main program to be Idris2 | 7 years ago |
| basic003 | Rabbit hole | 6 years ago |
| basic004 | Change main program to be Idris2 | 7 years ago |
| basic005 | Block reduction of private/export names | 7 years ago |
| basic006 | Rabbit hole | 6 years ago |
| coverage001 | Bitwise operators | 6 years ago |
| coverage002 | Rabbit hole | 6 years ago |
| dot001 | Bitwise operators | 6 years ago |
| eta001 | Make sure matches are not too specific | 7 years ago |
| eta002 | Bitwise operators | 6 years ago |
| lazy001 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| nest001 | Change main program to be Idris2 | 7 years ago |
| nest002 | Change main program to be Idris2 | 7 years ago |
| perf001 | Change main program to be Idris2 | 7 years ago |
| perf002 | Change main program to be Idris2 | 7 years ago |
| perf003 | Change main program to be Idris2 | 7 years ago |
| qtt001 | Add error message tests | 7 years ago |
| qtt002 | Look for scrutinee type in case | 6 years ago |
| qtt003 | Check names are visible/public | 7 years ago |
| record001 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| record002 | Change main program to be Idris2 | 7 years ago |
| record003 | Add tests for default implict record type arguments | 6 years ago |
| rewrite001 | Change main program to be Idris2 | 7 years ago |
| search001 | Rabbit hole | 6 years ago |
| search002 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| search003 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| search004 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| search005 | Rabbit hole | 6 years ago |
| total001 | Change main program to be Idris2 | 7 years ago |
| total002 | More documentation refreshing | 6 years ago |
| total003 | More documentation refreshing | 6 years ago |
| with001 | Make sure matches are not too specific | 7 years ago |
| with002 | allow matching constants in with clauses fix #122 | 7 years ago |