Index of /~peterd/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]agda-oplss.tar 2015-06-21 22:25 942K 
[DIR]SmallProofs/ 2015-06-10 17:18 -  
[DIR]Semantics/ 2015-06-08 22:43 -  
[DIR]Record/ 2015-06-10 17:17 -  
[DIR]MLTT/ 2015-06-10 15:41 -  
[DIR]LF/ 2015-06-09 14:54 -  
[DIR]Id/ 2015-06-06 14:05 -  
[DIR]IType/ 2015-06-10 15:49 -  
[DIR]IR/ 2015-05-31 21:51 -  
[DIR]IFam/ 2015-06-10 15:52 -  
[DIR]FiniteSubsets/ 2015-06-10 17:06 -  
[DIR]Cwf/ 2015-06-07 15:15 -  
[DIR]CZF/ 2015-06-10 16:33 -