evinism / evinism/lambda-explorer
A few correct examples that the level doesn't deem correct
Aperta
- Lingua principale
- JavaScript
- Stelle
- 69
- Fork
- 10
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
- 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.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.