文件名称：lambda-calculator：lambda演算解释器
文件大小：86KB
文件格式：ZIP
更新时间：2024-03-10 00:13:41
lambda-calculus lambda-calculus-interpreter lambda-calculator C
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 traditionally named tools make pcc # Uses the "pcc" C compiler make lcc # Uses the "lcc" C co