Computer Science, Swansea
Icon  Name                          Last modified      Size  Description
[DIR] exampleslecture/ 15-Feb-2002 11:38 - [   ] firsttest.agda 08-Feb-2002 04:43 19 [   ] showingcontext.agda 08-Feb-2002 04:43 54 [   ] explapplyfunction.agda 08-Feb-2002 04:43 120 [   ] explfillingoutgoals.agda 08-Feb-2002 04:43 200 [   ] explcontext.agda 08-Feb-2002 04:43 222 [   ] expldepfunctiontype.agda 08-Feb-2002 04:43 233 [   ] expldepfunctiontype2.agda 08-Feb-2002 04:43 261 [   ] explequality.agda 08-Feb-2002 04:43 289 [   ] explsuccessiverefinement.agda 08-Feb-2002 04:43 314 [   ] explgendernames.agda 08-Feb-2002 04:43 415 [   ] explmatrixtype.agda 08-Feb-2002 04:43 534 [   ] expldeprecordtype.agda 08-Feb-2002 04:43 705 [   ] expltypesortedlists.agda 08-Feb-2002 04:43 1.0K [   ] agdaCode.tar.gz 27-Mar-2002 04:26 660K