Index of /~peterd/agda/IR

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]SortedListIR.agda 25-May-2015 22:55 507  
[   ]McCarthy91.agda 31-May-2015 21:51 896  
[   ]HigherInfinite.agda 31-May-2015 20:30 2.0K 
[   ]SortedListIR.agdai 10-Jun-2015 16:10 3.2K 
[   ]McCarthy91.agdai 10-Jun-2015 16:10 6.8K 
[   ]HigherInfinite.agdai 10-Jun-2015 16:11 15K