evinism / evinism/lambda-explorer
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).
Ouverte
bug
enhancement
- Langage dominant
- JavaScript
- Étoiles
- 69
- Forks
- 10
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
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.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.