应用于 foldr 的 lambda 函数中的 Haskell 相关自变量
给定 <pre><code>&gt; foldr (+...
如何在 Haskell 中的 Lambda 演算中打开整数列表生成器 [m ...]
我已经完成了在 lambda 演算中制作整数列表生成器 &...
SKS 是否等于 SKK？
<strong>背景</strong> 昨晚我开始自学...
Lambda 演算需要解释
在 <code>let</code> 的 <a href=&#...
Lambda 演算评估：首先减少表达式然后替换？
我开始学习haskell，今天在我的课堂上，我们的老师解...
Haskell 如何执行 Beta 转换来派生类型？
我通过练习 <a href="https://github.com/to...
调试：无法将预期类型“GHC.Types.Bool”与实际类型“Bool”匹配
我正在尝试解决以下 Haskell 练习： 定义函数<co...
((f f) (g g)) 在 AOR 和 NOR 中的减少方式不同吗？
((f f) (g g)) 在应用级减少和正常级减少中是如何减...
如何迭代或重复无类型函数 n 次？
我正在使用 OCaml 编译器练习，我正在做一个小作业，...
在 Lambda 微积分中，pair/vireo 访问如何工作？
（免责声明语法：我使用 λabc.exp 而不是 λa.λb....
如果已经给出括号，则 lambda 演算中括号的顺序？
我知道应用程序是左关联的，而抽象是右关联的。函数...
避免捕获的替代函数 - Lambda 演算
所以我得到了下面的替代函数，我试图用它替换 b 中的...
我需要一些关于对 Lambda 演算表达式进行急切求值的步骤的帮助吗？
我对如何跟踪此 Lambda 微积分表达式的急切求值步骤...
Coq 证明陷入循环
编辑：这是一个新手错误。我错过了 beta_equivalenc...