https://github.com/dlicata335/cart-cube
History
Tip revision: f80af5cf6638c85ffda2397a8e097b3e9decac1b authored by Dan Licata on 01 March 2021, 22:21:01 UTC
edit README
Tip revision: f80af5c
File Mode Size
com-glue-dagstuhl
com-glue-decomposed
directed
universe
ABCFHL.agda -rw-r--r-- 1.7 KB
Bool.agda -rw-r--r-- 1.5 KB
Cofibs.agda -rw-r--r-- 2.7 KB
Com-is-an-HProp.agda -rw-r--r-- 2.7 KB
ComInternal.agda -rw-r--r-- 20.3 KB
Contractible.agda -rw-r--r-- 3.5 KB
Equiv.agda -rw-r--r-- 2.9 KB
Glue-Com-NoCofib.agda -rw-r--r-- 7.6 KB
Glue-Weak.agda -rw-r--r-- 9.1 KB
Glue.agda -rw-r--r-- 8.2 KB
Id.agda -rw-r--r-- 2.4 KB
Interval.agda -rw-r--r-- 1.6 KB
Kan.agda -rw-r--r-- 21.2 KB
Lib.agda -rw-r--r-- 12.9 KB
Nat.agda -rw-r--r-- 637 bytes
Path.agda -rw-r--r-- 12.9 KB
Prop.agda -rw-r--r-- 2.1 KB
Pushout.agda -rw-r--r-- 5.8 KB
README -rw-r--r-- 547 bytes
Strictify.agda -rw-r--r-- 591 bytes
Susp.agda -rw-r--r-- 2.3 KB

README

back to top