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.
User:Junkshipp/Sandbox4
Jump to navigation
Jump to search
Proof that all Wikipedia:Primitive recursive functionals can be expressed in Combinator Junk.
Actually, is the subject of the Wikipedia article actually so limited? It seems to be unable to represent fst and snd, unless there is a way to encode them that I can't think of.