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

mohamedamr profile image

Azure DevOps Flutter IOS CI Pipeline

MohamedAmr-DevOps -

theoriginalbpc profile image

Day 12: Layouts and Floats

Sarah Dye -

ag2blogger profile image

Knowledgeable Agents with FalkorDB Graph RAG

AG2 Blogger -

arobit_digital profile image

Challenges in Adopting CRM in Cloud Computing and How to Overcome Them

Arobit Digital -