https://github.com/dlicata335/hott-agda
History
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
Tip revision: dccc650
File Mode Size
Infinity1-2.agda -rw-r--r-- 3.7 KB
Infinity1-ByHand.agda -rw-r--r-- 2.3 KB
Infinity1.agda -rw-r--r-- 2.6 KB
Infinity1Diag.agda -rw-r--r-- 7.9 KB

back to top