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
-
Notifications
You must be signed in to change notification settings - Fork 0
wangdxh/essential-of-Lambda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
essential lambda
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published