News for hackers. Stuff that matters.

A comment on λ Calculus [pdf]. Parent comment

Re:λ Calculus [pdf] by kragen on Friday August 18, 2023 @01:03AM (#37171540)
typing is often an excellent way to ensure termination
[ Parent | on HN ]

There are no comments on this comment yet.