https://github.com/dlicata335/hott-agda
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
updated thesis source file
Tip revision: dccc650
File | Mode | Size |
---|---|---|
presheaf | ||
scraps | ||
ua-implies-funext | ||
ArrowFill.agda | -rw-r--r-- | 1.2 KB |
Cube.agda | -rw-r--r-- | 8.5 KB |
GCube.agda | -rw-r--r-- | 2.0 KB |
GCube2.agda | -rw-r--r-- | 1.6 KB |
JFromSubst.agda | -rw-r--r-- | 3.1 KB |
ProdHigherBetaEta.agda | -rw-r--r-- | 3.8 KB |
UnivalenceFill.agda | -rw-r--r-- | 3.2 KB |