Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
results
Ackermann.pig
Ackermann2.pig
Baz.pig
Both.dev
Both.pig
BugBoxSum.pig
BugDescLoop.pig
BugEqgreenMu.pig
BugEqgreenMu2.pig
BugFakeType.pig
BugGoalUnification.pig
BugInduction.pig
BugLabelLookup.pig
BugLetDependent.pig
BugLetLambda.pig
BugLetOperator.pig
BugModuleRelabel.pig
BugNameOrder.pig
BugNatDesc.pig
BugSubstEq.pig
BugUnliftedScheme.pig
Cat.pig
Cat.pig.disabled
DataDecl.pig
Demo.pig
Demo.pig.disabled
DescFix.pig
DescFix.pig.disabled
Differentiation.pig
Elab.pig
Elim.pig
Elim1.pig
Elim2.pig
Elim3.pig
ElimEquality.pig
ElimSplit.pig
ElimSwitch.pig
Empty.pig
FeatureMultiInduction.pig
Fibonacci.pig
Fin.pig
Fin.pig.disabled
Foo.dev
Foo.pig
GenericCase.pig
HigherHole.pig
IData.pig
IDescFix.pig
IDescFix.pig.disabled
Image.pig
LabelledNat.pig
LambdaCalculus.pig
Let.pig
LetAdd.pig
LetAdd2.pig
LetAdd2.pig.disabled
LetMul.pig
LetVec.pig
Levitation.pig
List.pig
MapSimp.pig
Module.dev
Module.pig
Monad.pig
Naming.pig
NamingSchemes.pig
Nat.pig
Nat2.pig
Nat3.pig
NatDev.dev
NatDev.pig
NatDev.pig.disabled
NatElim.pig
NatElim.pig.disabled
NatInd.pig
NatInd.pig.disabled
NatLElim.pig
NatLElim.pig.disabled
Navigation.dev
Navigation.pig
NiceInductionPrinciple.pig
Partial.dev
Partial.pig
Pi.dev
Pi.pig
Plus.pig
Pretty.pig
Pretty2.dev
Pretty2.pig
ProgramNat.pig
PropSimp.pig
Quotient.pig
Record.pig
Script.pig
Shared.dev
Shared.pig
SimpleIInduction.pig
So.pig
Solution.pig
Sort.pig
Sort.pig.disabled
Stream.pig
Syntax.pig
TaggedInduction.pig
TestAnchor.pig
TestDesc.pig
UnifDeep.pig
UnorderedPairs.pig
Vec.pig
VecAppend.pig
VecAppend.pig.disabled
VecAppend2.pig
VecAppend2.pig.disabled
VecAppend3.pig
VecAppend3.pig.disabled
VecAppend4.pig
VecAppend4.pig.disabled
hpc.sh
opSimp.pig
recbug.pig
report_stats.sh
stats.sh
test.sh