evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
Abierto
- Lenguaje dominante
- JavaScript
- Estrellas
- 69
- Forks
- 10
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
As a teaching tool, I feel like substitutions are extremely necessary in order to understand the lambda calculus. This doesn't cover them at all.
We should make that not the case.
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.