News for hackers. Stuff that matters.

A comment on Programming in Martin-Lof's Type Theory: An Introduction (1990). Parent comment

Re:Programming in Martin-Lof's Type Theory: An Introduction ... by wduquette on Monday May 19, 2025 @11:21PM (#44037465)
Oh, I get the importance of type theory in general. I hadn’t run into Martin-Lof before.
[ Parent | on HN ]
Re:Programming in Martin-Lof's Type Theory: An Introduction ... by grumpymuppet on Tuesday May 20, 2025 @08:35AM (#44040856)
Ahh, sorry, yeah. This stuff is classic. "Old" even.
[ Parent | on HN ]