SKI Combinator Calculus

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

  • by marvinborner on 7/21/2024, 11:13:33 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/2024, 11:17:20 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.