https://github.com/dlicata335/cart-cube
Tip revision: f80af5cf6638c85ffda2397a8e097b3e9decac1b authored by Dan Licata on 01 March 2021, 22:21:01 UTC
edit README
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 |