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 はまだ評価されていません。