lambda calculator:lambda演算解释器 源码

lambda演算解释器 这是lambda演算解释器lc的代码。 lc会按正常顺序(从最左到最先)减少beta和eta。 lc将重命名绑定变量以防止捕获变量。 建筑 我没有做GNU风格的autoconf脚本。 我确实编写了相当严格的ANSI C(我希望是C89 / C90版本),并且可以在许多编译器和操作系统下进行编译。 要生成lc可执行文件: make gnu # should work on most linuxes that have devel environment make cc # should work on most *BSDs, uses tra