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