evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
Aperta
- Lingua principale
- JavaScript
- Stelle
- 69
- Fork
- 10
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.