evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Ouverte
- Langage dominant
- JavaScript
- Étoiles
- 69
- Forks
- 10
- Métriques de merge des PR
- Aucune PR mergée en 30 j
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.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.