search

evinism / lambda-explorer

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

edit error message for normal form execution exceeded #84

Closed evinism closed 5 years ago

evinism commented 5 years ago

"Runtime error: normal form execution exceeded" -> "Normal form execution exceeded. This expression may not have a normal form."

This should make it a little more obvious that this error is expected.