Directory listing for idris-1.1.1 candidate source tarball
idris-1.1.1/test/regression001/
- coverage001.idr
- eff001.idr
- expected
- reg001.idr
- reg002.idr
- reg003.idr
- reg004.lidr
- reg005.idr
- reg006.idr
- reg036.idr
- reg037.idr
- reg038.idr
- reg046.idr
- reg047.idr
- reg047a.idr
- reg053.idr
- reg057.idr
- reg058.idr
- reg058a.idr
- reg059.idr
- reg060.idr
- reg061.idr
- reg062.idr
- reg062.lidr
- reg063.idr
- reg064.idr
- reg065.idr
- reg066.idr
- reg071.idr
- reg073.lidr
- reg074.idr
- run