Index of /~peterd/agda/Id

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Setoid.agdai 10-Jun-2015 16:09 4.3K 
[   ]Setoid.agda 06-Jun-2015 14:05 542  
[   ]Int.agdai 10-Jun-2015 15:54 9.6K 
[   ]Int.agda 27-May-2015 16:29 924  
[   ]Groupoid.agdai 10-Jun-2015 16:09 11K 
[   ]Groupoid.agda 27-May-2015 16:29 791