A few correct examples that the level doesn't deem correct
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 35/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- javascript
- Domain
- compilers
Research direction
Reproduce the two examples from the issue, (λabcd.ad)pyyp for level 17 and (λx.i)xλj.k for level 18. Start by tracing the level-checking path and the inspector's beta-reduction result, then verify that both examples are accepted when their reductions are complete.
Written by the indexing model from the issue text.
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.
- Dominant language
- JavaScript
- Stars
- 69
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from evinism/lambda-explorer
-
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
evinism/lambda-explorer#129 · 1 reaction ·
-
Partial application Open
Difficulty 4/5 3-5 days Newbie friendliness 35/100
evinism/lambda-explorer#126 · 1 comment ·
-
Some typos Open
Difficulty 1/5 Under an hour Newbie friendliness 45/100
evinism/lambda-explorer#119 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
evinism/lambda-explorer#85 ·
-
bad response Open
Difficulty 3/5 1-2 days Newbie friendliness 35/100
evinism/lambda-explorer#74 · 2 comments ·
All issues in evinism/lambda-explorer
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
docToolchain/docToolchain#1705 ·
-
Timezone select lists one option per character; duplicate "Failed" reason; shared tracker popover id Openbug
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
nightscout/nocturne#1414 ·
-
bug v2
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
modelcontextprotocol/inspector#2458 · 1 comment ·
-
Mend: dependency security vulnerability status: needs triage 🕵️♀️
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
carbon-design-system/ibm-products#9907 ·