on ff01a4c help sign in
Idris-dev/test/regression001
25 files
../ expectedTesting Adjustments for Quicker Regression Tests. reg001.idrTesting Adjustments for Quicker Regression Tests. reg036.idrMake arguments implicit in HVect.Shows reg037.idrTesting Adjustments for Quicker Regression Tests. reg038.idrTesting Adjustments for Quicker Regression Tests. reg046.idrTesting Adjustments for Quicker Regression Tests. reg047.idrTesting Adjustments for Quicker Regression Tests. reg047a.idrTesting Adjustments for Quicker Regression Tests. reg053.idrTesting Adjustments for Quicker Regression Tests. reg057.idrTesting Adjustments for Quicker Regression Tests. reg058.idrTesting Adjustments for Quicker Regression Tests. reg058a.idrTesting Adjustments for Quicker Regression Tests. reg059.idrTesting Adjustments for Quicker Regression Tests. reg060.idrTesting Adjustments for Quicker Regression Tests. reg061.idrTesting Adjustments for Quicker Regression Tests. reg062.idrTesting Adjustments for Quicker Regression Tests. reg062.lidrTesting Adjustments for Quicker Regression Tests. reg063.idrTesting Adjustments for Quicker Regression Tests. reg064.idrTesting Adjustments for Quicker Regression Tests. reg065.idrreplace code level class symbol with inferface reg066.idrTesting Adjustments for Quicker Regression Tests. reg071.idrTesting Adjustments for Quicker Regression Tests. reg073.lidrTesting Adjustments for Quicker Regression Tests. reg074.idrTesting Adjustments for Quicker Regression Tests. runTesting Adjustments for Quicker Regression Tests.