evinism / evinism/lambda-explorer
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).
未关闭
bug
enhancement
- 主要语言
- JavaScript
- 星标
- 69
- 派生
- 10
- PR 合并指标
- 30 天内没有已合并 PR
描述
This might prevent it from recognizing `E := λmn. n m` as a solution to the exponentiation problem. (I can't check it right now). But it certainly does not help when testing.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。