User:Yayimhere/eLambda

Lambda calculus/SKI, but allowing the empty body and stuff like that, aswell as other experiments. Please, give me ideas in the talk page, im open to hear 'em.

Combinators/rewrite rules

X (i) (f) (g) (x) = ((i (f x)) (g x))
a | b = a | b
f (a | b) = ((f a) b)
. (a) = ε
R (x) (y) = (y) (x)
E (x) = (x (.)) (x)

Yea thats it. Lambdas are only allowed to come up in context of intermediate values. These rules arent formal, just for demonstration, follow lambda rules.