Re:Why is it worth spending time on type theory?
by JonChesterfield on Wednesday August 06, 2025 @04:02PM
(#44816999)
I watched these https://www.youtube.com/@hottlectures5237, at least up to the point where they seemed to be diverging from things I could see application in. There's an associated book which is fairly tough going but enlightening (easier after watching some of the videos).
[ Parent
| on HN ]
There are no comments on this comment yet.