Hacker News new | past | comments | ask | show | jobs | submit login
An Adequate Left-Associated Binary Numeral System in the Lambda Calculus [pdf] (brics.dk)
3 points by bediger4000 on Oct 27, 2022 | hide | past | favorite | 1 comment



If you're working in the lambda calculus, you're not limited to Church Numerals, or Scott Numerals. Mayer Goldberg has a numeral system that's far easier for humans to read.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: