Hacker News new | ask | show | jobs
by theFco 649 days ago
It’s the representation of a natural number in the lambda calculus that Church proposed.