evinism / evinism/lambda-explorer
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`).
Abierto
bug
enhancement
- Lenguaje dominante
- JavaScript
- Estrellas
- 69
- Forks
- 10
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.