Computer Science, Swansea
Icon  Name                                          Last modified      Size  Description
[   ] Makefile 27-Jan-2004 01:35 61 [   ] examleLessThanN.agda 28-Apr-2004 23:57 285 [   ] exampleAllNames.agda 16-May-2004 00:07 264 [   ] exampleBoolFalse.agda 16-May-2004 00:07 189 [   ] exampleCaseDistinctionComplexExpression.agda 16-May-2004 00:07 777 [   ] exampleCommutative.agda 16-May-2004 00:07 1.0K [   ] exampleDisjointUnionEqual.agda 16-May-2004 00:07 1.4K [   ] exampleDoubleString.agda 16-May-2004 00:07 1.2K [   ] exampleDoubleString2.agda 16-May-2004 00:07 593 [   ] exampleElimNat.agda 16-May-2004 00:07 266 [   ] exampleEquivalenceLambdaNotations.agda 16-May-2004 00:07 113 [   ] exampleGoal1.agda 16-May-2004 00:07 106 [   ] exampleIdentity.agda 16-May-2004 00:07 52 [   ] exampleLessThanN.agda 16-May-2004 00:07 285 [   ] exampleLetExpression.agda 16-May-2004 00:07 297 [   ] exampleLetExpressionSig.agda 16-May-2004 00:07 317 [   ] exampleList.agda 16-May-2004 00:07 429 [   ] exampleMapAppliedToList.agda 16-May-2004 00:07 420 [   ] exampleMonoLessNoTermination.agda 16-May-2004 00:07 1.3K [   ] exampleMonoLessNoTerminationDirectRepair.agda 16-May-2004 00:07 1.4K [   ] exampleMonoLessTerminationEasyRepair.agda 16-May-2004 00:07 1.3K [   ] exampleMonoLessWithTermination.agda 16-May-2004 00:07 947 [   ] exampleNamesFunction.agda 16-May-2004 00:07 364 [   ] exampleOpenExpresssion1.agda 16-May-2004 00:07 347 [   ] exampleOpenExpresssion2.agda 16-May-2004 00:07 309 [   ] examplePostulate1.agda 16-May-2004 00:07 73 [   ] examplePostulate2.agda 16-May-2004 00:07 120 [   ] examplePostulate3.agda 16-May-2004 00:07 99 [   ] exampleProductElim.agda 16-May-2004 00:07 269 [   ] exampleProductElim2.agda 16-May-2004 00:07 177 [   ] exampleProductIntro.agda 16-May-2004 00:07 223 [   ] exampleReflexivity.agda 16-May-2004 00:07 66 [   ] exampleSampleDerivation2.agda 16-May-2004 00:07 87 [   ] exampleShowContext.agda 16-May-2004 00:07 88 [   ] exampleSigmaType.agda 16-May-2004 00:07 448 [   ] exampleSimpleDerivation.agda 16-May-2004 00:07 246 [   ] exampleSimpleDerivation2.agda 16-May-2004 00:07 237 [   ] exampleSimpleDerivation3.agda 16-May-2004 00:07 239 [   ] exampleSimpleDerivation4.agda 16-May-2004 00:07 124 [   ] exampleSimpleEquality.agda 16-May-2004 00:07 181 [   ] exampleSimpleEquality2.agda 16-May-2004 00:07 142 [   ] exampleTrafficLight.agda 16-May-2004 00:07 1.0K [   ] exampleUniverse.agda 16-May-2004 00:07 186 [   ] exampleproofproplogic.agda 16-May-2004 00:07 1.4K [   ] exampleproofproplogic1.agda 16-May-2004 00:07 159 [   ] exampleproofproplogic10.agda 16-May-2004 00:07 592 [   ] exampleproofproplogic11.agda 16-May-2004 00:07 737 [   ] exampleproofproplogic2.agda 16-May-2004 00:07 125 [   ] exampleproofproplogic3.agda 16-May-2004 00:07 139 [   ] exampleproofproplogic4.agda 16-May-2004 00:07 120 [   ] exampleproofproplogic5.agda 16-May-2004 00:07 181 [   ] exampleproofproplogic6.agda 16-May-2004 00:07 429 [   ] exampleproofproplogic7.agda 16-May-2004 00:07 66 [   ] exampleproofproplogic8.agda 16-May-2004 00:07 80 [   ] exampleproofproplogic9.agda 16-May-2004 00:07 242