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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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