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 (#44037467)
And there it is. Thanks very much!
[ Parent | on HN ]

There are no comments on this comment yet.