https://github.com/dlicata335/hott-agda
Revision 0c87486c3a9d2cced80c85b30446c10f253fe6a2 authored by Dan Licata on 23 October 2015, 02:47:21 UTC, committed by Dan Licata on 23 October 2015, 02:47:21 UTC
1 parent 0d78520
History
Tip revision: 0c87486c3a9d2cced80c85b30446c10f253fe6a2 authored by Dan Licata on 23 October 2015, 02:47:21 UTC
stuff
Tip revision: 0c87486

README

back to top