Login
From:
Bartosz Milewski's Programming Cafe
(Uncensored)
subscribe
Identity Types | Bartosz Milewski's Programming Cafe
https://bartoszmilewski.com/2025/09/22/identity-types/
links
backlinks
Tagged with:
math
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!