Hacker News new | ask | show | jobs
by DanWaterworth 4864 days ago
The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.
1 comments
notb 4864 days ago
Right, thanks! Corrected.
link