MENU
omega combinator
omega from S,I combinators
Y combinator applied to id
the predecessor
SKK
5 X 5 = (\m.(\n.(\f.(m (n f))))) 5 5
5 X 5 = (\m.(\n.((m (PLUS n)) 0))) 5 5, where PLUS = (\m.(\n.((m SUCC) n)))
(\a.a a)(\x.((\b.b b)(\y.y x)))
GROW
SLIM
MIN
MAX
CODE:
(Rewrites stop at max.
1024
nodes
)
before:
chosen:
after:
mol before:
mol after: