search

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
61 stars 9 forks source link

Possibly add in syntax for substitutions #70

Open evinism opened 5 years ago

evinism commented 5 years ago

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.