Skip to content
No description or website provided.
Agda TeX Other
Find file
Pull request Compare This branch is 227 commits behind master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
computational-interp
homotopy
lib
misc
oldlib
polymorphism
programming
.gitignore
README
badpostulates

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
Something went wrong with that request. Please try again.