https://github.com/dlicata335/hott-agda
Revision 250a6f54c632cc2b971f40b55679267a1e39538f authored by Dan Licata on 01 October 2015, 17:10:08 UTC, committed by Dan Licata on 01 October 2015, 17:10:08 UTC
1 parent c016ae3
History
Tip revision: 250a6f54c632cc2b971f40b55679267a1e39538f authored by Dan Licata on 01 October 2015, 17:10:08 UTC
functor logic
Tip revision: 250a6f5

README

back to top