探索未键入的 lambda 微积分，这是计算中最基本的系统之一。从一组非常简单的规则开始，所有计算都是可能的。但是，仅仅因为规则简单并不意味着 lambda 微积分是容易的：你需要一些聪明和创造力，才能到达一个可以计算任何东西的地方。 此应用程序允许您直观地创建 lambda 微积分表达式（lambdas、变量和函数调用）并对其进行评估。试用布尔器、教堂数字或 Y 组合器。 在平板电脑上效果很好！在手机上，在横向模式下效果最佳。
软件信息
- 软件分类： 教育 > 教学和培训工具
- 发布者： Alan Pierce
- 许可： 免费
- 价格： N/A
- 版本： 1.1.0
- 适用平台： android