Index of /~ulfn/darcs/Agda2/examples/outdated-and-incorrect

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]AIM6/ 2009-06-08 09:56 -  
[DIR]Alonzo/ 2009-06-08 09:56 -  
[DIR]DTP08/ 2009-06-08 09:56 -  
[   ]FunctionsInIndices.agda2009-06-08 09:56 1.3K 
[TXT]IORef.agda 2009-06-08 09:56 7.1K 
[   ]NBE.agda 2009-06-08 09:56 10K 
[DIR]NestedDataTypes/ 2009-06-08 09:56 -  
[DIR]OTT/ 2009-06-08 09:56 -  
[   ]ProofRep.agda 2009-06-08 09:56 1.2K 
[TXT]Screen.agda 2009-06-08 09:56 1.3K 
[   ]StackLanguage.agda 2009-06-08 09:56 1.1K 
[   ]Subset.agda 2009-06-08 09:56 556  
[   ]Warshall.agda 2009-06-08 09:56 2.5K 
[DIR]cat/ 2009-06-08 09:56 -  
[DIR]cbs/ 2009-06-08 09:56 -  
[DIR]clowns/ 2009-06-08 09:56 -  
[DIR]fileIO/ 2009-06-08 09:56 -  
[DIR]iird/ 2009-06-08 09:56 -  
[DIR]lattice/ 2009-06-08 09:56 -  
[DIR]syntax/ 2009-06-08 09:56 -  
[DIR]tactics/ 2009-06-08 09:56 -  
[DIR]tait/ 2009-06-08 09:56 -  
[DIR]univ/ 2009-06-08 09:56 -