search

evinism / lambda-explorer

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

Figure out some way of having predefined or persistent variables #34

Open evinism opened 7 years ago

evinism commented 7 years ago

As a user, I always want to define t, f, 0, 1, 2, 3, 4, S ... a whole bunch of other things. Right now on reload, the execution context is destroyed.

this is primarily a user interface problem-- persisting the variables cross session's dead easy, it's just presenting that to the user what's defined that's the issue.