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