Lambda Calculus Playground 1.1.0

许可: 免费 ‎文件大小: 1.36 MB
‎用户评分: 0.0/5 - ‎0 ‎评分

探索未键入的 lambda 微积分,这是计算中最基本的系统之一。从一组非常简单的规则开始,所有计算都是可能的。但是,仅仅因为规则简单并不意味着 lambda 微积分是容易的:你需要一些聪明和创造力,才能到达一个可以计算任何东西的地方。 此应用程序允许您直观地创建 lambda 微积分表达式(lambdas、变量和函数调用)并对其进行评估。试用布尔器、教堂数字或 Y 组合器。 在平板电脑上效果很好!在手机上,在横向模式下效果最佳。

软件信息