Interpreter for lambda calculus expressions with support for evaluation
Interpreter for the lambda calculus
lci
$ lci '(λx.x) a'
$ lci
$ lci '(λf.λg.λx.f (g x)) (λy.y+1) (λz.z*2)'