Combinator Logic Playground

Drag and drop combinators to form expressions and reduce them

Combinators

S
K
I
B
C
W
Variable (drag to edit)

Workspace

Drag combinators here to build your expression

Reduction Steps

Your reduction steps will appear here

Combinator Definitions

S x y z = x z (y z)

Substitution combinator

K x y = x

Constant combinator

I x = x

Identity combinator

B x y z = x (y z)

Composition combinator

C x y z = x z y

Swap combinator

W x y = x y y

Duplication combinator

Made with DeepSite LogoDeepSite - 🧬 Remix