search

evinism / lambda-explorer

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

move towards repl-like interface #12

Closed evinism closed 7 years ago

evinism commented 7 years ago

Reimplements the interface to look something like this:

screen shot 2017-05-10 at 12 14 14 am