![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Ackermann.pig | 16-Oct-2012 21:01 | 844 | |
| Ackermann2.pig | 16-Oct-2012 21:01 | 771 | |
| Baz.pig | 16-Oct-2012 21:01 | 91 | |
| Both.dev | 16-Oct-2012 21:01 | 189 | |
| Both.pig | 16-Oct-2012 21:01 | 0 | |
| BugBoxSum.pig | 16-Oct-2012 21:01 | 231 | |
| BugDescLoop.pig | 16-Oct-2012 21:01 | 127 | |
| BugEqgreenMu.pig | 16-Oct-2012 21:01 | 432 | |
| BugEqgreenMu2.pig | 16-Oct-2012 21:01 | 195 | |
| BugFakeType.pig | 16-Oct-2012 21:01 | 50 | |
| BugGoalUnification.pig | 16-Oct-2012 21:01 | 332 | |
| BugInduction.pig | 16-Oct-2012 21:01 | 325 | |
| BugLabelLookup.pig | 16-Oct-2012 21:01 | 164 | |
| BugLetDependent.pig | 16-Oct-2012 21:01 | 227 | |
| BugLetLambda.pig | 16-Oct-2012 21:01 | 842 | |
| BugLetOperator.pig | 16-Oct-2012 21:01 | 399 | |
| BugModuleRelabel.pig | 16-Oct-2012 21:01 | 69 | |
| BugNameOrder.pig | 16-Oct-2012 21:01 | 69 | |
| BugNatDesc.pig | 16-Oct-2012 21:01 | 282 | |
| BugSubstEq.pig | 16-Oct-2012 21:01 | 395 | |
| BugUnliftedScheme.pig | 16-Oct-2012 21:01 | 190 | |
| Cat.pig | 16-Oct-2012 21:01 | 10K | |
| Cat.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| DataDecl.pig | 16-Oct-2012 21:01 | 207 | |
| Demo.pig | 16-Oct-2012 21:01 | 8.3K | |
| Demo.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| DescFix.pig | 16-Oct-2012 21:01 | 3.4K | |
| DescFix.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| Differentiation.pig | 16-Oct-2012 21:01 | 1.7K | |
| Elab.pig | 16-Oct-2012 21:01 | 307 | |
| Elim.pig | 16-Oct-2012 21:01 | 288 | |
| Elim1.pig | 16-Oct-2012 21:01 | 455 | |
| Elim2.pig | 16-Oct-2012 21:01 | 323 | |
| Elim3.pig | 16-Oct-2012 21:01 | 580 | |
| ElimEquality.pig | 16-Oct-2012 21:01 | 958 | |
| ElimSplit.pig | 16-Oct-2012 21:01 | 140 | |
| ElimSwitch.pig | 16-Oct-2012 21:01 | 128 | |
| Empty.pig | 16-Oct-2012 21:01 | 0 | |
| FeatureMultiInduction.pig | 16-Oct-2012 21:01 | 469 | |
| Fibonacci.pig | 16-Oct-2012 21:01 | 1.9K | |
| Fin.pig | 16-Oct-2012 21:01 | 804 | |
| Fin.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| Foo.dev | 16-Oct-2012 21:01 | 56 | |
| Foo.pig | 16-Oct-2012 21:01 | 1 | |
| GenericCase.pig | 16-Oct-2012 21:01 | 810 | |
| HigherHole.pig | 16-Oct-2012 21:01 | 318 | |
| IData.pig | 16-Oct-2012 21:01 | 712 | |
| IDescFix.pig | 16-Oct-2012 21:01 | 3.4K | |
| IDescFix.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| Image.pig | 16-Oct-2012 21:01 | 232 | |
| LabelledNat.pig | 16-Oct-2012 21:01 | 702 | |
| LambdaCalculus.pig | 16-Oct-2012 21:01 | 831 | |
| Let.pig | 16-Oct-2012 21:01 | 524 | |
| LetAdd.pig | 16-Oct-2012 21:01 | 496 | |
| LetAdd2.pig | 16-Oct-2012 21:01 | 799 | |
| LetAdd2.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| LetMul.pig | 16-Oct-2012 21:01 | 590 | |
| LetVec.pig | 16-Oct-2012 21:01 | 1.5K | |
| Levitation.pig | 16-Oct-2012 21:01 | 1.8K | |
| List.pig | 16-Oct-2012 21:01 | 1.5K | |
| MapSimp.pig | 16-Oct-2012 21:01 | 794 | |
| Module.dev | 16-Oct-2012 21:01 | 94 | |
| Module.pig | 16-Oct-2012 21:01 | 0 | |
| Monad.pig | 16-Oct-2012 21:01 | 1.3K | |
| Naming.pig | 16-Oct-2012 21:01 | 542 | |
| NamingSchemes.pig | 16-Oct-2012 21:01 | 689 | |
| Nat.pig | 16-Oct-2012 21:01 | 1.0K | |
| Nat2.pig | 16-Oct-2012 21:01 | 598 | |
| Nat3.pig | 16-Oct-2012 21:01 | 418 | |
| NatDev.dev | 16-Oct-2012 21:01 | 2.1K | |
| NatDev.pig | 16-Oct-2012 21:01 | 10 | |
| NatDev.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| NatElim.pig | 16-Oct-2012 21:01 | 851 | |
| NatElim.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| NatInd.pig | 16-Oct-2012 21:01 | 863 | |
| NatInd.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| NatLElim.pig | 16-Oct-2012 21:01 | 943 | |
| NatLElim.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| Navigation.dev | 16-Oct-2012 21:01 | 140 | |
| Navigation.pig | 16-Oct-2012 21:01 | 396 | |
| NiceInductionPrinciple.pig | 16-Oct-2012 21:01 | 2.9K | |
| Nix.pig | 16-Oct-2012 21:01 | 143 | |
| Partial.dev | 16-Oct-2012 21:01 | 109 | |
| Partial.pig | 16-Oct-2012 21:01 | 0 | |
| Pi.dev | 16-Oct-2012 21:01 | 41 | |
| Pi.pig | 16-Oct-2012 21:01 | 0 | |
| Plus.pig | 16-Oct-2012 21:01 | 1.6K | |
| Pretty.pig | 16-Oct-2012 21:01 | 698 | |
| Pretty2.dev | 16-Oct-2012 21:01 | 854 | |
| Pretty2.pig | 16-Oct-2012 21:01 | 12 | |
| ProgramNat.pig | 16-Oct-2012 21:01 | 642 | |
| PropSimp.pig | 16-Oct-2012 21:01 | 4.1K | |
| Quotient.pig | 16-Oct-2012 21:01 | 1.2K | |
| Record.pig | 16-Oct-2012 21:01 | 3.0K | |
| Script.pig | 16-Oct-2012 21:01 | 58 | |
| Shared.dev | 16-Oct-2012 21:01 | 178 | |
| Shared.pig | 16-Oct-2012 21:01 | 0 | |
| SimpleIInduction.pig | 16-Oct-2012 21:01 | 1.7K | |
| So.pig | 16-Oct-2012 21:01 | 636 | |
| Solution.pig | 16-Oct-2012 21:01 | 272 | |
| Sort.pig | 16-Oct-2012 21:01 | 2.6K | |
| Sort.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| Stream.pig | 16-Oct-2012 21:01 | 1.1K | |
| Syntax.pig | 16-Oct-2012 21:01 | 7.0K | |
| TaggedInduction.pig | 16-Oct-2012 21:01 | 4.0K | |
| TestAnchor.pig | 16-Oct-2012 21:01 | 198 | |
| TestDesc.pig | 16-Oct-2012 21:01 | 624 | |
| UnifDeep.pig | 16-Oct-2012 21:01 | 435 | |
| UnorderedPairs.pig | 16-Oct-2012 21:01 | 1.7K | |
| Vec.pig | 16-Oct-2012 21:01 | 857 | |
| VecAppend.pig | 16-Oct-2012 21:01 | 1.8K | |
| VecAppend.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| VecAppend2.pig | 16-Oct-2012 21:01 | 1.5K | |
| VecAppend2.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| VecAppend3.pig | 16-Oct-2012 21:01 | 1.6K | |
| VecAppend3.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| VecAppend4.pig | 16-Oct-2012 21:01 | 1.5K | |
| VecAppend4.pig.disabled | 16-Oct-2012 21:01 | 0 | |
| hpc.sh | 16-Oct-2012 21:01 | 602 | |
| opSimp.pig | 16-Oct-2012 21:01 | 1.3K | |
| recbug.pig | 16-Oct-2012 21:01 | 133 | |
| report_stats.sh | 16-Oct-2012 21:01 | 1.6K | |
| results/ | 16-Oct-2012 21:01 | - | |
| stats.sh | 16-Oct-2012 21:01 | 709 | |
| test.sh | 16-Oct-2012 21:01 | 3.0K | |