GitHub - dlicata335/hott-agda

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 651 Commits
categories		categories
computational-interp		computational-interp
homotopy		homotopy
lib		lib
metatheory		metatheory
misc		misc
mso		mso
oldlib		oldlib
polymorphism		polymorphism
programming		programming
species/notes		species/notes
.gitignore		.gitignore
README		README
badpostulates		badpostulates

Repository files navigation

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