Combinator Logic

Compose or reduce expressions by dragging terms on others. Click a term to simplify it, or to undo a composition. [Fullscreen]

Keys

[+] - more S, K and I.
[r] - reorder randomly

Combinators

K x y -> x
S f g x -> f x (g x)
I x -> x

B = S (K S) K
C = S (B B S) (K K)

PS: You can copy expressions by dropping them on the clone tool. You can also enter expressions directly on the keyboard.
This Combinator Logic Applet only runs in browsers with a Java plugin, or some other form of Java Applet support.