loading...

Explain Homotopy type theory like I'm five

#explainlikeimfive
dannypsnl profile image 林子篆 ・1 min read

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

Discussion

markdown guide

Read Next

rahulpr27 profile image

Teach me Kotlin Coroutines like i'm 5

R🅰♓ÜL 🅿®🅰SAÐ -

picocreator profile image

5 Fatal Docker Gotcha's 😱 - for new users

Eugene Cheah -

thejessleigh profile image

Dockerizing a Simple Python Process

jess unrein -

thejessleigh profile image

Converting a csv writer from Python 2 to Python 3

jess unrein -