https://github.com/dlicata335/hott-agda
Revision ab40118c5e1f95d7bdded401f61613bfb9ee3d2a authored by Dan Licata on 03 May 2016, 03:59:36 UTC, committed by Dan Licata on 03 May 2016, 03:59:36 UTC
1 parent 93d0d84
Tip revision: ab40118c5e1f95d7bdded401f61613bfb9ee3d2a authored by Dan Licata on 03 May 2016, 03:59:36 UTC
stuff
stuff
Tip revision: ab40118
File | Mode | Size |
---|---|---|
categories | ||
computational-interp | ||
homotopy | ||
lib | ||
metatheory | ||
misc | ||
oldlib | ||
polymorphism | ||
programming | ||
species | ||
.gitignore | -rw-r--r-- | 112 bytes |
README | -rw-r--r-- | 464 bytes |
badpostulates | -rwxr-xr-x | 349 bytes |
Computing file changes ...