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:∽
Jump to navigation
Jump to search
SKI?
How can it implement combinatory logic if first-class citizens are neither functions nor program substrings but numbers? Capability to represent Kxy doesn't imply a capability to represent Kx or K. If it's indeed SKI-capable, it should be demonstrated in more detail. --Blashyrkh (talk) 09:20, 7 July 2026 (UTC)