Computer Science, Swansea
Icon  Name                                         Last modified      Size  Description
[   ] bintree.agda 08-May-2008 01:55 120 [   ] dependentProduct1.agda 08-May-2008 01:55 279 [   ] dependentProduct2.agda 08-May-2008 01:55 327 [   ] depfunctionset.agda 08-May-2008 01:55 235 [   ] derivationsagdacode1.agda 08-May-2008 01:55 84 [   ] equalityNarN.agda 08-May-2008 01:55 207 [   ] evenodd.agda 08-May-2008 01:55 137 [   ] exampleAllNames.agda 08-May-2008 01:55 384 [   ] exampleAnd1.agda 08-May-2008 01:55 549 [   ] exampleAtom.agda 08-May-2008 01:55 179 [   ] exampleCaseDistinctionComplexExpression.agda 08-May-2008 01:55 430 [   ] exampleColourEquality.agda 08-May-2008 01:55 625 [   ] exampleDouble.agda 08-May-2008 01:55 298 [   ] exampleEquivalenceLambdaNotations1.agda 08-May-2008 01:55 118 [   ] exampleEquivalenceLambdaNotations2.agda 08-May-2008 01:55 173 [   ] exampleFullLogicalFramework.agda 08-May-2008 01:55 125 [   ] exampleLessBool.agda 08-May-2008 01:55 561 [   ] exampleLetExpression.agda 08-May-2008 01:55 291 [   ] exampleLetExpression2.agda 08-May-2008 01:55 176 [   ] exampleLetExpressionRecord.agda 17-Apr-2015 01:29 544 [   ] exampleMapAppliedToList.agda 08-May-2008 01:55 701 [   ] exampleNat1.agda 08-May-2008 01:55 150 [   ] examplePostulate1.agda 08-May-2008 01:55 107 [   ] examplePostulate2.agda 08-May-2008 01:55 165 [   ] examplePostulate3.agda 08-May-2008 01:55 159 [   ] exampleProductElim.agda 08-May-2008 01:55 429 [   ] exampleProductEqual.agda 08-May-2008 01:55 674 [   ] exampleProductIntro.agda 08-May-2008 01:55 255 [   ] exampleProofPropLogic1.agda 08-May-2008 01:55 160 [   ] exampleSampleDerivation2.agda 08-May-2008 01:55 137 [   ] exampleShowContext.agda 08-May-2008 01:55 92 [   ] exampleSimpleDerivation1.agda 08-May-2008 01:55 126 [   ] exampleSimpleDerivation2.agda 08-May-2008 01:55 126 [   ] exampleSimpleEquality2.agda 08-May-2008 01:55 158 [   ] exampleTrafficLight1.agda 08-May-2008 01:55 1.0K [   ] exampleTypeAbbreviations.agda 08-May-2008 01:55 145 [   ] exampleTypeAbbreviations2.agda 08-May-2008 01:55 126 [   ] examplecolour.agda 08-May-2008 01:55 211 [   ] examplefalse.agda 08-May-2008 01:55 120 [   ] exampleimplicationbool.agda 08-May-2008 01:55 421 [   ] examplenegbool.agda 08-May-2008 01:55 194 [   ] examplenegbool2.agda 08-May-2008 01:55 386 [   ] exampleproofproplogic11.agda 08-May-2008 01:55 618 [   ] exampleproofproplogic3.agda 08-May-2008 01:55 176 [   ] exampleproofproplogic5.agda 08-May-2008 01:55 203 [   ] exampleproofproplogic6.agda 08-May-2008 01:55 427 [   ] exampleproofproplogic8.agda 08-May-2008 01:55 147 [   ] exampleproofproplogic9.agda 08-May-2008 01:55 227 [   ] examplestack.agda 08-May-2008 01:55 365 [   ] exampletree1.agda 08-May-2008 01:55 363 [   ] exampletrue.agda 08-May-2008 01:55 125 [   ] existentialQuantification.agda 08-May-2008 01:55 211 [   ] fib1.agda 08-May-2008 01:55 242 [   ] kleeneO.agda 08-May-2008 01:55 145 [   ] lessnat1.agda 08-May-2008 01:55 393 [   ] lessnat2.agda 08-May-2008 01:55 229 [   ] list.agda 08-May-2008 01:55 663 [   ] maryjohn0.agda 08-May-2008 01:55 201 [   ] maryjohn1.agda 08-May-2008 01:55 363 [   ] maryjohn2.agda 08-May-2008 01:55 524 [   ] monotoneless1.agda 08-May-2008 01:55 603 [   ] monotoneless2.agda 08-May-2008 01:55 433 [   ] nat1.agda 08-May-2008 01:55 651 [   ] plantsigma.agda 08-May-2008 01:55 448 [   ] reductionSystems1.agda 08-May-2008 01:55 350 [   ] reductionSystems2.agda 08-May-2008 01:55 379 [   ] reflnat.agda 08-May-2008 01:55 643 [   ] sigmaset.agda 08-May-2008 01:55 197 [   ] symnat.agda 08-May-2008 01:55 565 [   ] symnat2.agda 08-May-2008 01:55 576 [   ] terminationnat1.agda 08-May-2008 01:55 177 [   ] tuple.agda 08-May-2008 01:55 540 [   ] tuple2.agda 08-May-2008 01:55 452 [   ] universe.agda 08-May-2008 01:55 862