I built a fun game [0] that shows the power of SKI calculus. Similar to infinite craft [1], you start with a base of elements (S and K combinators) and build your way up to any lambda term!<p>[0]: <a href="https://infinite-apply.marvinborner.de/" rel="nofollow">https://infinite-apply.marvinborner.de/</a><p>[1]: <a href="https://neal.fun/infinite-craft/" rel="nofollow">https://neal.fun/infinite-craft/</a>
The most recent change is<p>> The simplest possible term forming a basis is X = λx λy λz. x z (y (λ_.z)), which satisfies X (X X) (X (X X) X X X X X) = K, and X (X (X X (X X (X X))(X (X (X X (X X)))))) X X = S.