credits and comment: based on this js version of the chemlambda v2 , a modified version with 6 3-valent nodes. This page is for playing with lambda terms only. More examples will be added.
ishan example: duplication with FO of \x.((\y.yy)(xx))
ishan_example with duplication with FOE
ishan_example_2: duplication with FO of \x.(\f.ff)(\y.xy)
ishan_example_2 with duplication with FOE
ishan_example_2_A: duplication of M, then applied to id, for M = \x.(\f.ff)(\y.xy)
L-FO-FOE-conflict
A-L-FO-FOE-conflict
ackermann_2_2
Y combinator applied to something
Y combinator applied to id
omega combinator
5 X 5 custom
5 X 5 = (\m.\n.m (PLUS n) 0) 5 5, with PLUS = \m.\n.m SUCC n
5 X 5 = (\m.\n.m (PLUS n) 0) 5 5, with PLUS = \m.\n.\f.\x.m f (n f x)
5 X 5 = (\m.\n.\f.m(nf)) 5 5
first (pair a b) with pair = \x.\y.\z. z x y and first = \p.(p (\x.\y.x)), a = 5, b = 0
(stops at max. number of nodes 2048 )
CODE:
MOL NOW:
MOL AFTER:
before: chosen: after:
load reload step start stop