essential-Lambda 是 《Lambda-Calculus and Combinators : An Introduction》的摘要版本，提供了lambda部分的内容摘要 以及例题解答，并实现一个解释器对lambda的语法进行解释执行。

文章地址在 ：https://www.jianshu.com/p/fdc12c303e48

lambda interpreter using antlr4
λ replaced by ^

antlr-4.7.1-complete.jar