https://github.com/dlicata335/hott-agda
History
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
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

back to top