Lib.rs

一个无类型 lambda 演算解释器。

它有几个有用的功能

• 支持 lambda 演算的常用隐式括号规则

  • 请参阅这里的 parse 函数文档。

• 在每次 beta 规约步骤中突出显示最后规约的表达式

  • (可禁用.)

• 允许将 lambda 项绑定到符号（定义）

  • 惰性符号替换

  • 允许递归定义

• 具有上下文相关的 TAB 自动完成，匹配括号突出显示和历史记录支持（感谢rustyline）。

• 允许使用 & 跳过换行符

  • 该行将作为一个单独的行保存到历史记录中。

• 具有非交互式模式，其输出可以轻松由脚本解析

• 允许计算规约步骤的数量

...以及许多其他功能；使用 --help 运行以获取更多信息。

屏幕截图

安装

如果没有安装，请安装 cargo，然后运行

$ cargo install lambda_calc

这将安装 lambda_calc 二进制文件。可选地，您可以使用 --root 选项将安装到不同的目录；运行 man cargo-install 获取详细信息。