Archived materials related to Homotopy Type Theory.
Latest commit 394a22e Apr 24, 2012 @awodey awodey Merge branch 'master' of https://github.com/awodey/Archive into awode…
…y-master

Conflicts:
	.DS_Store
Permalink
Failed to load latest commit information.
LICS2012
.DS_Store
.gitignore
README.md

README.md

Archive

Archived materials related to Homotopy Type Theory. Please do not alter the files stored here.