Hacker News new | ask | show | jobs
by bediger4000 54 days ago
Lambda calculus people have the phrase "adequate numeral system" because they've discovered many different numeral systems.