News for hackers. Stuff that matters.

A comment on What Have We Forgotten?. Parent comment

Re:What Have We Forgotten? by nejsjsjsbsb on Wednesday January 29, 2025 @03:49AM (#42862910)
Is that Alfonzo Church of the untyped lambda calculus?
[ Parent | on HN ]
Re:What Have We Forgotten? by cjfd on Wednesday January 29, 2025 @04:03AM (#42862996)
Yes, however his brother Alonzo did not mind the typed lambda calculus all that much.
[ Parent | on HN ]