evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Offen
- Vorherrschende Sprache
- JavaScript
- Sterne
- 69
- Forks
- 10
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
- 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.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.