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 m