We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Talk:Lambda-calculus program repository
Jump to navigation
Jump to search
TODO
- Other boolean encodings (see an example at Crazy J/Truth-machine and Crazy J/QUINE)
- Other number encodings (Scott and others) with more efficient predecessor function
- Also this: https://john-tromp.medium.com/sk-numerals-9ad1b5634b28
- Comparison of Church numerals (mentioned at http://www.madore.org/~david/programs/unlambda, also explained at Crazy J/Truth-machine)
- Right fold lists
- Using Church numeral as a loop counter (you may find an example at this unfinished
(damn! I forgot about it)page: Crazy J/Hello, world!) - Implementing recursion without Y (using, say,
M = lambda x . x x). At least M is much easier to explain to LC-newbie than Y.
In general, currently your collection is too small for a dedicated page, most of these expressions can be found at https://en.wikipedia.org/wiki/Church_encoding. But all collections were nil some day. --Blashyrkh (talk) 06:27, 11 June 2026 (UTC)