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