News for hackers. Stuff that matters.

A comment on Types versus sets (and what about categories?). Parent comment

Re:Types versus sets (and what about categories?) by bmacho on Friday September 01, 2023 @04:11AM (#37348055)
The author linked an introductory article about Lambda Calculus before this.
[ Parent | on HN ]

There are no comments on this comment yet.