Login
From:
dotat.at
(Uncensored)
subscribe
the algebra of dependent types – Tony Finch
https://dotat.at/@/2025-05-28-types.html
links
backlinks
Roast topics
Find topics
Find it!
TIL (or this week-ish I learned) why big-sigma and big-pi turn up in
