Directory listing for idris-0.9.11.1 source tarball
idris-0.9.11.1/test/
- Makefile
- runtest.pl
- basic001/
- basic002/
- basic003/
- basic004/
- basic005/
- basic006/
- basic007/
- basic008/
- basic009/
- buffer001-disabled/
- dsl001/
- dsl002/
- effects001/
- effects002/
- error001/
- error002/
- error003/
- error004/
- ffi001/
- ffi002/
- ffi003/
- ffi004/
- interactive001/
- io001/
- io002/
- io003/
- literate001/
- primitives001/
- primitives002/
- primitives003/
- proof001/
- proof002/
- proof003/
- proof004/
- records001/
- reg001/
- reg002/
- reg003/
- reg004/
- reg005/
- reg006/
- reg007/
- reg008/
- reg009/
- reg010/
- reg011/
- reg012/
- reg013/
- reg014/
- reg015/
- reg016/
- reg017/
- reg018/
- reg019/
- reg020/
- reg021/
- reg022/
- reg023/
- reg024/
- reg025/
- reg026/
- reg027/
- reg028/
- reg029/
- reg030/
- reg031/
- reg032/
- reg033/
- sugar001/
- sugar002/
- sugar003/
- totality001/
- totality002/
- totality003/