Index of /~peterd/agda/Id

[ICO]NameLast modifiedSizeDescription

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