| .. |
| basic001 | Put built ttcs in build/ttc, rather than build | 7 years ago |
| basic002 | Change main program to be Idris2 | 7 years ago |
| basic003 | Implement occurs check properly (finally!) | 6 years ago |
| basic004 | Change main program to be Idris2 | 7 years ago |
| basic005 | Block reduction of private/export names | 7 years ago |
| basic006 | Update test output | 6 years ago |
| coverage001 | Update test output | 6 years ago |
| coverage002 | Update test output | 6 years ago |
| dot001 | Update test output | 6 years ago |
| eta001 | Implement occurs check properly (finally!) | 6 years ago |
| eta002 | Update test output | 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 | Implement occurs check properly (finally!) | 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 | Implement occurs check properly (finally!) | 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 | Implement occurs check properly (finally!) | 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 | Implement occurs check properly (finally!) | 6 years ago |