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