Computer Science, Swansea
Icon  Name                          Last modified      Size  Description
[   ] Makefile 06-Feb-2003 18:26 61 [   ] exampleBoolFalse.agda 10-May-2003 18:02 189 [   ] exampleDoubleString.agda 10-May-2003 18:02 1.2K [   ] exampleElimNat.agda 10-May-2003 18:02 266 [   ] exampleIdentity.agda 10-May-2003 18:02 52 [   ] exampleLetExpression.agda 10-May-2003 18:02 305 [   ] exampleList.agda 10-May-2003 18:02 429 [   ] exampleNamesFunction.agda 10-May-2003 18:02 364 [   ] exampleProductElim.agda 10-May-2003 18:02 269 [   ] exampleProductElim2.agda 10-May-2003 18:02 177 [   ] exampleProductIntro.agda 10-May-2003 18:02 223 [   ] exampleReflexivity.agda 10-May-2003 18:02 66 [   ] exampleSampleDerivation2.agda 10-May-2003 18:02 87 [   ] exampleShowContext.agda 10-May-2003 18:02 88 [   ] exampleSigmaType.agda 10-May-2003 18:02 448 [   ] exampleSimpleDerivation.agda 10-May-2003 18:02 246 [   ] exampleSimpleDerivation2.agda 10-May-2003 18:02 237 [   ] exampleSimpleEquality.agda 10-May-2003 18:02 181 [   ] exampleUniverse.agda 10-May-2003 18:02 186