evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
Offen
- Vorherrschende Sprache
- JavaScript
- Sterne
- 69
- Forks
- 10
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.