evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
Open
- Dominant language
- JavaScript
- Stars
- 69
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.