4 ms·

Big Numbers in Lambda-Calculus

2 points by martyalain 4y ago

martyalain 4y ago
Dear friends of Hacker News, I am exploring how to manipulate large natural numbers in a "lambda-calculus" dialect. Do you know of any other "more professional" answers than this one?