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
README
oldlib
a bunch of stuff using an older version of lib/
some of this needs to be resuccitated, like joseph's code in applications/torus2
lib
basic constructions of homotopy type theory
homotopy
applications of homotopy type theory to formalizing homotopy theory
programming
applications of homotopy type theory to programming
computational-interp
code having to do with the computational interpretation or 2tt
misc
miscellaneous little experiments