evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Open
- Dominant language
- JavaScript
- Stars
- 69
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
- This one should pass level 17, but doesn't: `(λabcd.ad)pyyp`.
- This one should pass level 18, but doesn't: `(λx.i)xλj.k`.
FWIW, the inspector thinks they're both beta-irreducible, despite reducing them.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.