https://github.com/dlicata335/hott-agda
History
Tip revision: 26dea76ae310f25b4bedc047001aa93c3e230efc authored by Dan Licata on 09 July 2014, 19:25:57 UTC
stuff
Tip revision: 26dea76

README

back to top