evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
Ouverte
- Langage dominant
- JavaScript
- Étoiles
- 69
- Forks
- 10
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
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.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.