Index of /~peterd/agda/Record

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]FiniteSubset.agda 2015-05-26 12:17 1.0K 
[   ]FiniteSubset.agdai 2015-06-10 17:08 7.0K 
[   ]FiniteSubsetNat.agda 2015-06-10 17:09 1.2K 
[   ]FiniteSubsetNat.agdai 2015-06-10 17:09 9.4K 
[   ]Monoid.agda 2015-06-10 17:16 633  
[   ]Monoid.agdai 2015-06-10 17:16 11K 
[TXT]Product.agda 2015-06-06 14:26 720  
[   ]Product.agdai 2015-06-10 17:16 5.4K 
[   ]R.agda 2015-06-06 13:42 575  
[   ]R.agdai 2015-06-10 17:16 6.0K