Index of /~nad/repos/equality

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]equality.agda-lib 29-Oct-2015 10:56 26  
[DIR]_darcs/ 29-Oct-2015 10:56 -  
[DIR]Univalence-axiom/ 25-Mar-2015 20:40 -  
[   ]Univalence-axiom.agda 17-Sep-2015 19:27 52K 
[   ]Tree.agda 25-Mar-2015 20:40 6.2K 
[DIR]Tree-sort/ 22-Oct-2012 21:10 -  
[   ]Surjection.agda 13-Feb-2015 16:13 5.7K 
[   ]Structure-identity-p..>23-Apr-2015 11:12 26K 
[   ]Record.agda 21-Sep-2015 19:06 10K 
[DIR]README/ 09-Sep-2013 14:21 -  
[   ]README.agda 07-Oct-2015 14:15 4.5K 
[   ]Quotient.agda 07-Oct-2015 14:15 45K 
[   ]Prelude.agda 07-Oct-2015 14:15 11K 
[   ]Preimage.agda 09-Sep-2013 14:21 6.2K 
[DIR]Partiality-monad/ 29-Oct-2015 10:56 -  
[   ]M.agda 09-Sep-2013 14:21 7.5K 
[   ]Logical-equivalence...>13-Feb-2015 16:13 2.0K 
[   ]LICENCE 13-Feb-2015 16:13 1.0K 
[   ]Injection.agda 13-Feb-2015 16:13 1.7K 
[DIR]H-level/ 29-Oct-2015 10:56 -  
[   ]H-level.agda 23-Apr-2015 11:12 4.4K 
[   ]Groupoid.agda 17-Sep-2015 19:27 4.4K 
[   ]Function-universe.agda 07-Oct-2015 14:15 83K 
[   ]Fin.agda 07-Oct-2015 14:15 8.3K 
[   ]Equivalence.agda 07-Oct-2015 14:15 63K 
[DIR]Equality/ 07-Oct-2015 14:15 -  
[   ]Equality.agda 07-Oct-2015 14:15 66K 
[DIR]Container/ 07-Oct-2015 14:15 -  
[   ]Container.agda-darcs..>28-May-2012 13:59 15K 
[   ]Container.agda 17-Sep-2015 19:27 20K 
[   ]Circle.agda 17-Sep-2015 19:27 7.6K 
[   ]Category.agda 25-Mar-2015 20:40 19K 
[   ]Bool.agda 07-Oct-2015 14:15 4.5K 
[   ]Bijection.agda 07-Oct-2015 14:15 14K 
[   ]Bag-equivalence.agda 07-Oct-2015 14:15 28K