Lamcal

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

GitHub

https://github.com/StardustDL/lamcal