https://github.com/dlicata335/hott-agda
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
updated thesis source file
Tip revision: dccc650
File | Mode | Size |
---|---|---|
adjointlogic | ||
functorlogic | ||
printingretractions | ||
SimplexOp.agda | -rw-r--r-- | 13.9 KB |
SimplexOpRight.agda | -rw-r--r-- | 11.4 KB |