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
History
Tip revision: ab40118c5e1f95d7bdded401f61613bfb9ee3d2a authored by Dan Licata on 03 May 2016, 03:59:36 UTC
stuff
Tip revision: ab40118

README

back to top