DEV Community

林子篆
林子篆

Posted on

Explain Homotopy type theory like I'm five

As the title, I'm looking for a clear overview summary of HOTT.

Discussion (0)