Index of /~nad/repos/equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Bag-equivalence.agda 29-Nov-2014 00:43 28K 
[   ]Bijection.agda 09-Sep-2013 14:21 12K 
[   ]Category.agda 04-Apr-2014 21:29 19K 
[   ]Container.agda 09-Sep-2013 14:21 20K 
[   ]Container.agda-darcs..>28-May-2012 13:59 15K 
[DIR]Container/ 09-Sep-2013 14:21 -  
[   ]Equality.agda 09-Sep-2013 14:21 47K 
[DIR]Equality/ 03-Oct-2014 21:08 -  
[   ]Equivalence.agda 09-Sep-2013 14:21 56K 
[   ]Fin.agda 10-Feb-2013 20:25 5.0K 
[   ]Function-universe.agda 09-Sep-2013 14:21 50K 
[   ]Groupoid.agda 28-May-2012 12:54 2.1K 
[   ]H-level.agda 04-Apr-2014 21:29 4.4K 
[DIR]H-level/ 04-Apr-2014 21:29 -  
[   ]Injection.agda 10-Dec-2011 22:08 1.7K 
[   ]LICENCE 29-Nov-2014 00:43 1.0K 
[   ]Logical-equivalence...>10-Feb-2013 20:25 2.0K 
[   ]M.agda 09-Sep-2013 14:21 7.5K 
[   ]Preimage.agda 09-Sep-2013 14:21 6.2K 
[   ]Prelude.agda 28-Nov-2013 15:41 10K 
[   ]README.agda 09-Sep-2013 14:21 4.2K 
[DIR]README/ 09-Sep-2013 14:21 -  
[   ]Structure-identity-p..>03-Oct-2014 21:08 26K 
[   ]Surjection.agda 09-Sep-2013 14:21 5.7K 
[DIR]Tree-sort/ 22-Oct-2012 21:10 -  
[   ]Tree.agda 19-Oct-2012 20:29 6.2K 
[   ]Univalence-axiom.agda 09-Sep-2013 14:21 32K 
[DIR]Univalence-axiom/ 09-Sep-2013 14:21 -  
[DIR]_darcs/ 29-Nov-2014 00:43 -