from Hacker News

SKI Combinator Calculus

by barrister on 7/18/24, 5:56 AM with 4 comments

• by marvinborner on 7/21/24, 11:13 AM

  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!

  [0]: https://infinite-apply.marvinborner.de/

  [1]: https://neal.fun/infinite-craft/

• by tromp on 7/21/24, 11:17 AM

  The most recent change is

  > 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.