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              08-May-2008 01:55  538   
 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