Find some way to shorten long expressions in the repl

evinism / lambda-explorer

Tutorial / REPL for the lambda calculus

https://lambdaexplorer.com/

MIT License

63 stars 9 forks source link

Closed evinism closed 7 years ago

evinism commented 7 years ago

We've got to have a good way of shortening long functions. Truncate?

This pairs nicely with semantic analysis of functions.

evinism commented 7 years ago

somewhat solved with truncation-- good enough.