Index of /~nad/repos/equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Bag-equivalence.agda 23-Apr-2015 11:12 28K 
[   ]Bijection.agda 02-Jun-2015 22:35 12K 
[   ]Bool.agda 02-Jun-2015 22:35 4.4K 
[   ]Category.agda 25-Mar-2015 20:40 19K 
[   ]Container.agda 23-Apr-2015 11:12 20K 
[   ]Container.agda-darcs..>28-May-2012 13:59 15K 
[DIR]Container/ 23-Apr-2015 11:12 -  
[   ]Equality.agda 01-Jul-2015 12:34 51K 
[DIR]Equality/ 01-Jul-2015 12:34 -  
[   ]Equivalence.agda 02-Jun-2015 22:35 62K 
[   ]Fin.agda 23-Apr-2015 11:11 4.9K 
[   ]Function-universe.agda 02-Jun-2015 22:35 65K 
[   ]Groupoid.agda 23-Apr-2015 11:12 2.5K 
[   ]H-level.agda 23-Apr-2015 11:12 4.4K 
[DIR]H-level/ 02-Jun-2015 22:35 -  
[   ]Injection.agda 13-Feb-2015 16:13 1.7K 
[   ]LICENCE 13-Feb-2015 16:13 1.0K 
[   ]Logical-equivalence...>13-Feb-2015 16:13 2.0K 
[   ]M.agda 09-Sep-2013 14:21 7.5K 
[DIR]Partiality-monad/ 01-Jul-2015 12:34 -  
[   ]Preimage.agda 09-Sep-2013 14:21 6.2K 
[   ]Prelude.agda 23-Apr-2015 11:12 10K 
[   ]README.agda 01-Jul-2015 12:34 4.5K 
[DIR]README/ 09-Sep-2013 14:21 -  
[   ]Record.agda 02-Jun-2015 22:35 10K 
[   ]Structure-identity-p..>23-Apr-2015 11:12 26K 
[   ]Surjection.agda 13-Feb-2015 16:13 5.7K 
[DIR]Tree-sort/ 22-Oct-2012 21:10 -  
[   ]Tree.agda 25-Mar-2015 20:40 6.2K 
[   ]Univalence-axiom.agda 02-Jun-2015 22:35 49K 
[DIR]Univalence-axiom/ 25-Mar-2015 20:40 -  
[DIR]_darcs/ 01-Jul-2015 12:34 -