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:The Church
I'm not sure if it's optimal (considering it contains the entire C combinator inside it), but *(+^)(**(*^)) is a decently short expression for S. –PkmnQ (talk) 11:19, 9 June 2026 (UTC)
- Yup, it is. I still hope my bruteforcer would find something shorter. --Blashyrkh (talk) 11:43, 9 June 2026 (UTC)
- Your solution is optimal. There's no size-6 solution for S. --Blashyrkh (talk) 10:48, 14 June 2026 (UTC)
- isnt this syntactically invalid? (
(+^)and(*^)have an even number of exprs) --MarkFan8901 (talk | contribs) 23:01, 15 October 2026 (UTC)
1
if this were right-associative then the EOF K 256 may be written (^**10)1414, but whatever... Cleverxia (talk) 12:16, 15 October 2026 (UTC)
syntax
the syntax section could probably be rewritten to be a few short sentences saying something like "Expressions are written in infix syntax. All operators are left-associative, and follow the precedence +*^0123456789. Brackets group expressions accordingly, and take precedence over all operators." --MarkFan8901 (talk | contribs) 23:06, 15 October 2026 (UTC)