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
Tip revision: cfd49d9f3109d774ea81ddec9805001b0b6d97ac authored by emblack on 30 March 2017, 16:24:45 UTC
added definition of * and started making naive algo
added definition of * and started making naive algo
Tip revision: cfd49d9
File | Mode | Size |
---|---|---|
categories | ||
computational-interp | ||
homotopy | ||
lib | ||
metatheory | ||
misc | ||
mso | ||
oldlib | ||
polymorphism | ||
programming | ||
species | ||
.gitignore | -rw-r--r-- | 112 bytes |
README | -rw-r--r-- | 464 bytes |
badpostulates | -rwxr-xr-x | 349 bytes |
Computing file changes ...