https://github.com/dlicata335/hott-agda
Tip revision: e12dd67a3b609f94e20b0b3ac2c9e359fea03ac4 authored by Dan Licata on 24 July 2014, 14:24:44 UTC
pwh indexed
pwh indexed
Tip revision: e12dd67
File | Mode | Size |
---|---|---|
categories | ||
computational-interp | ||
homotopy | ||
lib | ||
metatheory | ||
misc | ||
oldlib | ||
polymorphism | ||
programming | ||
.gitignore | -rw-r--r-- | 84 bytes |
README | -rw-r--r-- | 464 bytes |
badpostulates | -rwxr-xr-x | 232 bytes |