lambda-explorer
lambda-explorer copied to clipboard
evinism
Tutorial / REPL for the lambda calculus
We want to guide the user with error messages: if they stray from correctness, get them back on track. Consider giving hints for capital vs. lower case letters, etc.
For larger computations, we shouldn't do the computation in the ui thread.
This might prevent it from recognizing `E := λmn. n m` as a solution to the exponentiation problem. (I can't check it right now). But it certainly does not help...
We might not want to go through challenges sequentially. Additionally, we might want user submitted challenges. These both go outside the scope of the tutorial.
right now the caret turns red. That might be sufficient, but it's probably not a strong enough indicator. remember: we don't want the user to get overwhelmed because they keep...
The current internal representation leaves a lot to be desired. Low hanging fruit would be to directly represent a(a(a(a(b)))) not as 5 different functions, but maybe just one function with...
Just like we have church numerals and church booleans, I want to create a library of recognized functions (like identity, y-combinator, successor, etc...) that the repl is able to recognize...
the repl is a pile of divs and spans It is garbage from an organizational perspective It could use some serious cleaning up.