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