Hacker News new | ask | show | jobs
by wduquette 402 days ago
Oh, I get the importance of type theory in general. I hadn’t run into Martin-Lof before.
1 comments
grumpymuppet 402 days ago
Ahh, sorry, yeah. This stuff is classic. "Old" even.
link