DEV Community

loading...

Explain Homotopy type theory like I'm five

林子篆
I am a programming language theory lover; good at system software like Networking, OS.
・1 min read

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

Discussion (0)

Forem Open with the Forem app