lambda-explorer
lambda-explorer copied to clipboard
evinism
Tutorial / REPL for the lambda calculus
Hi, let me first thank you for this effort. I encountered this:**> λxy.z **F:=λxy.z Name Error: Expression contains free variables z. Assigned values cannot have free variables in this REPL.**...
As a teaching tool, I feel like substitutions are extremely necessary in order to understand the lambda calculus. This doesn't cover them at all. We should make that not the...
I met you at the JS meetup last week and you showed me Lambda Explorer. I'm surprised it got no attention on Hacker News when you posted it 4 years...
Right now back/forward arrows are a little non-obvious. I want to make them bigger and more obvious. Having them take up the entire width of the aside makes sense to...
graphics help convey stuff very well. Those would be good.
I cannot figure out a way of redefining a solution to a chosen step of the tutorial if I have already found a solution and the step is marked `[solved]`....
