https://github.com/dlicata335/hott-agda
Revision cfd49d9f3109d774ea81ddec9805001b0b6d97ac authored by emblack on 30 March 2017, 16:24:45 UTC, committed by emblack on 30 March 2017, 16:24:45 UTC
1 parent 74b48d8
History
Tip revision: cfd49d9f3109d774ea81ddec9805001b0b6d97ac authored by emblack on 30 March 2017, 16:24:45 UTC
added definition of * and started making naive algo
Tip revision: cfd49d9

README

back to top