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 はまだ評価されていません。