An online calculator for lambda calculus (λx. y)
An online calculator for lambda calculus (λx. y).
Visit here.
Examples
(λu. λv. v)((λx. x x)(λx. x x))
-> λv. v
(λx. x x) ((λy. y) (λz. z))
-> λz. z
(λe. λf. e) ((λa. λb. a) x y) ((λc. λd. c) u v)
-> x
(λx. x (λy. x y y) x)(λz. λw. z)
-> λy.((λz.λw.z) y y)
-> λy.y