https://github.com/dlicata335/hott-agda
Revision 0e1f10cc70b39904e9360e5b6e9f5d0eb79c91cb authored by emblack on 18 April 2017, 11:04:20 UTC, committed by emblack on 18 April 2017, 11:04:20 UTC
1 parent a07d0fe
History
Tip revision: 0e1f10cc70b39904e9360e5b6e9f5d0eb79c91cb authored by emblack on 18 April 2017, 11:04:20 UTC
second draft
Tip revision: 0e1f10c

README

back to top