https://github.com/dlicata335/hott-agda
Revision c016ae38d86f28d80664d94c5fb07585c89bdfa9 authored by Dan Licata on 18 September 2015, 11:02:37 UTC, committed by Dan Licata on 18 September 2015, 11:02:37 UTC
1 parent e372f85
History
Tip revision: c016ae38d86f28d80664d94c5fb07585c89bdfa9 authored by Dan Licata on 18 September 2015, 11:02:37 UTC
remove old version
Tip revision: c016ae3

README

back to top