lambda-explorer
lambda-explorer copied to clipboard
evinism
Tutorial / REPL for the lambda calculus
I've pulled some not so happy tricks to make this work for rn. I want to clean those up. This is a not so secret disguise for the fact that...
Like how it is in atom (or any sane text editor)
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...
Fixes #125 and #126. Builds on top of the commit for the test in PR #127, but that test likely won't pass because this implementation does rename the argument of...
When using the explorer and visually scanning to look back at the history of what I wrote, I found myself consistently mistaking the outputs for the inputs. This is because...
- This one should pass level 17, but doesn't: `(λabcd.ad)pyyp`. - This one should pass level 18, but doesn't: `(λx.i)xλj.k`. FWIW, the inspector thinks they're both beta-irreducible, despite reducing them.