evinism / evinism/lambda-explorer
Possibly add in syntax for substitutions
未关闭
- 主要语言
- JavaScript
- 星标
- 69
- 派生
- 10
- PR 合并指标
- 30 天内没有已合并 PR
描述
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.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。