evinism / evinism/lambda-explorer
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).
Aperta
bug
enhancement
- Lingua principale
- JavaScript
- Stelle
- 69
- Fork
- 10
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
This might prevent it from recognizing `E := λmn. n m` as a solution to the exponentiation problem. (I can't check it right now). But it certainly does not help when testing.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.