evinism / lambda-explorer

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

make usage of the world application consistent #81

Closed evinism closed 5 years ago

evinism commented 5 years ago

this was not good of me