https://github.com/dlicata335/hott-agda
Revision fb691319e87eb2451173e5e877e83b1a35a924e4 authored by Dan Licata on 25 July 2016, 15:31:35 UTC, committed by Dan Licata on 25 July 2016, 15:31:35 UTC
1 parent f6a40ef
History
Tip revision: fb691319e87eb2451173e5e877e83b1a35a924e4 authored by Dan Licata on 25 July 2016, 15:31:35 UTC
cleanup
Tip revision: fb69131

README

back to top