evinism / lambda-explorer

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

Pass around closure #60

Closed evinism closed 5 years ago

evinism commented 5 years ago

In order to implement https://github.com/evinism/lambda-explorer/issues/3 and a few other things, we need to implement closure-awareness

Woop woop woop

evinism commented 5 years ago

I actually don't have a compelling use for this function and so I removed it from #65, will reopen if it becomes necessary