evinism / evinism/lambda-explorer
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).
Open
bug
enhancement
- Dominant language
- JavaScript
- Stars
- 69
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.