https://github.com/dlicata335/hott-agda
Revision 79d091f7390cfe683ece482fda8c0d0ed5762bc5 authored by Dan Licata on 01 October 2015, 17:10:37 UTC, committed by Dan Licata on 01 October 2015, 17:10:37 UTC
1 parent 250a6f5
History
Tip revision: 79d091f7390cfe683ece482fda8c0d0ed5762bc5 authored by Dan Licata on 01 October 2015, 17:10:37 UTC
stuff
Tip revision: 79d091f

README

back to top