Cite as:
Lambda terms reduced with chemlambda.
© Marius Buliga
(2019-2021),
https://mbuliga.github.io/quinegraphs/lambda.html
See also:
All chemlambda projects
random choices
MENU
omega combinator
the predecessor
omega from S,K combinators
Y combinator applied to id
ackermann_2_2
ackermann_3_2
5 X 5 = (λm.λn.λf.m(nf)) 5 5
5 X 5 = (λm.λn.m (PLUS n) 0) 5 5, with PLUS = λm.λn.m SUCC n
SKK
(λa.aa)(λx.((λb.bb)(λy.yx)))
rewrites weights slider
GROW
SLIM
nodes ∼
gravity slider
MIN
MAX
CODE:
(Rewrites stop at max.
512
nodes
)
before:
chosen:
after:
mol before:
mol after: