Index of /~peterd/agda/IType

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]WithExamples.agdai 10-Jun-2015 15:49 5.6K 
[   ]WithExamples.agda 10-Jun-2015 15:49 510  
[   ]PatternMatching.agdai 10-Jun-2015 15:48 4.8K 
[   ]Product.agdai 10-Jun-2015 15:48 3.3K 
[   ]NegativeData.agdai 10-Jun-2015 15:48 1.6K 
[   ]BrouwerOrdinals.agdai 10-Jun-2015 15:47 4.1K 
[   ]MaybeP.agdai 10-Jun-2015 15:46 1.3K 
[   ]ListP.agdai 10-Jun-2015 15:45 2.5K 
[   ]ListNat.agdai 10-Jun-2015 15:45 2.6K 
[   ]List.agdai 10-Jun-2015 15:45 6.2K 
[   ]Bool.agdai 10-Jun-2015 15:44 12K 
[   ]Nat.agdai 10-Jun-2015 15:44 11K 
[   ]Bool.agda 08-Jun-2015 15:26 2.5K 
[   ]Nat.agda 07-Jun-2015 18:04 3.0K 
[   ]ListP.agda 07-Jun-2015 12:20 197  
[   ]MaybeP.agda 06-Jun-2015 12:15 102  
[   ]ListNat.agda 06-Jun-2015 12:13 127  
[   ]NegativeData.agda 31-May-2015 21:51 168  
[   ]NegativeDataType.agda 31-May-2015 14:10 78  
[   ]Product.agda 27-May-2015 16:29 956  
[   ]BrouwerOrdinals.agda 25-May-2015 14:18 439  
[   ]List.agda 25-May-2015 11:11 1.4K 
[   ]PatternMatching.agda 25-May-2015 09:47 887