• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for idris-0.12 candidate source tarball

idris-0.12/test/regression001/

• expected
• reg001.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