LambdaParser

Nodes

• Variable(string)
• Abstraction(string, exp)
• Application(exp, exp)

Grammar

Exp -> Term | Term + Exp

Term -> Variable | '(' + Exp + ')' | 'λ' + string + '.' + Exp

Variable -> string