![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[DIR]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Injection.agda | 10-Dec-2011 22:08 | 1.7K | |
| Groupoid.agda | 28-May-2012 12:54 | 2.1K | |
| Container.agda-darcs..> | 28-May-2012 13:59 | 15K | |
| Tree.agda | 19-Oct-2012 20:29 | 6.2K | |
| Tree-sort/ | 22-Oct-2012 21:10 | - | |
| Prelude.agda | 18-Dec-2012 13:46 | 11K | |
| Bag-equivalence.agda | 10-Feb-2013 20:25 | 28K | |
| Category.agda | 10-Feb-2013 20:25 | 18K | |
| Container.agda | 10-Feb-2013 20:25 | 20K | |
| Equality.agda | 10-Feb-2013 20:25 | 46K | |
| Equivalence.agda | 10-Feb-2013 20:25 | 56K | |
| Fin.agda | 10-Feb-2013 20:25 | 5.0K | |
| H-level.agda | 10-Feb-2013 20:25 | 4.7K | |
| Logical-equivalence...> | 10-Feb-2013 20:25 | 2.0K | |
| Preimage.agda | 10-Feb-2013 20:25 | 6.2K | |
| Surjection.agda | 10-Feb-2013 20:25 | 5.7K | |
| Univalence-axiom.agda | 10-Feb-2013 20:25 | 31K | |
| LICENCE | 16-Feb-2013 11:19 | 1.0K | |
| H-level/ | 16-Feb-2013 11:19 | - | |
| Bijection.agda | 16-Feb-2013 12:10 | 12K | |
| Function-universe.agda | 16-Feb-2013 12:10 | 46K | |
| README.agda | 16-Feb-2013 17:33 | 4.1K | |
| README/ | 16-Feb-2013 17:33 | - | |
| Univalence-axiom/ | 16-Feb-2013 17:33 | - | |
| Container/ | 27-Feb-2013 14:42 | - | |
| Equality/ | 27-Feb-2013 14:42 | - | |
| _darcs/ | 27-Feb-2013 14:42 | - | |