Skip to content
Search Create account

DEV Community

DEV Community is a community of 647,226 amazing developers

We're a place where coders share, stay up-to-date and grow their careers.

Create new account Log in
loading...

Explain Homotopy type theory like I'm five

#explainlikeimfive
林子篆
林子篆
I am a programming language theory lover; good at system software like Networking, OS.
  • Email
    dannypsnl@gmail.com
  • Location
    Taiwan
  • Education
      Kaohsiung Medical University
  • Joined
・1 min read

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

Discussion (0)

Read next

dhernandez90 profile image

How to reinstall phalcon switching from php 7.1 to php 7.2

D.Art.H-Kode -

leviathanprogramming profile image

What does "if(variable++)" do in Javascript

𝐋𝐄𝑽𝐈𝑨𝐓𝐇𝐀𝐍 Programming -

leviathanprogramming profile image

What does the unicorn icon do in dev.to posts?

𝐋𝐄𝑽𝐈𝑨𝐓𝐇𝐀𝐍 Programming -

peter profile image

Explain a State Machine Like I'm Five

Peter Kim Frank -

Forem Open with the Forem app