Cite as:
Lambda calculus to chemlambda.
© Marius Buliga
(2019-2024), http://imar.ro/~mbuliga/chemlambda-github/lambda2mol.html
Part of:
All chemlambda projects
(github version)
random choices
chemλ
MENU
omega combinator
4 omega combinator
ackermann_2_2
ackermann_3_2
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, with PLUS = (\m.(\n.((m SUCC) n)))
(\a.a a)(\x.((\b.b b)(\y.y x)))
λ>mol
(\n.(\f.(\x.(((n (\g.(\h.(h (g f))))) (\u.x)) (\u.u))))) (((\b.(\e.(e b))) (\f.(\x.(f (f (f x)))))) (\f.(\x.(f(f (f (f x)))))))
mol>λ
rewrites weights slider
GROW
SLIM
nodes ∼
gravity slider
MIN
MAX
CODE:
(Rewrites stop at max.
1024
nodes
)
before:
chosen:
after:
mol before:
mol after: