evinism / lambda-explorer

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

Allow runtime exceeded error to be expanded, so that the first several iterations are visible #14

Closed evinism closed 7 years ago

evinism commented 7 years ago

I want to see the first 50 or so iterations of trying to hit normal form in the case that we do too long of an execution-- helps show us what's going on.

evinism commented 7 years ago

Done, in an mildly ugly fashion againnnnnnn