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 grumpymuppet on Tuesday May 20, 2025 @08:35AM (#44040856)
Ahh, sorry, yeah. This stuff is classic. "Old" even.
[ Parent | on HN ]

There are no comments on this comment yet.