DEV Community

林子篆
林子篆

Posted on

Explain Homotopy type theory like I'm five

#explainlikeimfive

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

Top comments (0)

Read next

rachelfazio profile image

Podcast Palooza— What are you listening to? (Business Edition)

Rachel Fazio -

matteosant_dev profile image

New Web Portfolio 16bit OS Style

Matteo Santoro Dev -

tanujav profile image

Insertion Sort in Java (With Intuition + Dry run + Code)

Alysa -

balastrong profile image

What I DON'T like about shadcn/ui

Leonardo Montini -