兰姆达微积分的翻译。 它显示了 lambda 术语的减少过程。 支持几种评价策略。 输出格式可以从 LaTex 纯文本中选择。
版本历史记录
- 版本 0.1 发布于 2006-11-07
若干修复和更新 - 版本 0.1 发布于 2006-11-07
软件信息
- 软件分类: 发展 > 其他
- 发布者: petit-lambda.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 0.1
- 适用平台: linux
兰姆达微积分的翻译。 它显示了 lambda 术语的减少过程。 支持几种评价策略。 输出格式可以从 LaTex 纯文本中选择。