Directory listing for idris-1.0.1 candidate source tarball
idris-1.0.1/test/regression002/
- A.lidr
- Canonicity.idr
- DoubleEquality.idr
- Mod.idr
- badbangop.idr
- baddoublebang.idr
- expected
- reg003.idr
- reg003a.idr
- reg006.idr
- reg007.lidr
- reg010.idr
- reg018a.idr
- reg018b.idr
- reg018c.idr
- reg018d.idr
- reg023.idr
- reg028.idr
- reg028a.idr
- reg034.idr
- reg035.idr
- reg035a.lidr
- reg035b.idr
- reg044.idr
- reg049.idr
- reg054.idr
- reg055.idr
- reg055a.idr
- reg056.idr
- reg068.idr
- reg069.idr
- reg070.idr
- reg076.idr
- reg077.idr
- run
- working.idr