evinism / lambda-explorer

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

Pairs, Subtraction, Y Combinator, and Factorial #77

Open evinism opened 5 years ago

evinism commented 5 years ago

We're gonna go down this path!!!

This, combined with an overview of the lesson plan will make lambda explorer a little more comprehensive than most tutorials.

(well, without replace and eta reduction hahahaahahaha oh nooo)

I'm starting to realize this almost certainly DOES require persistence of defns cross-refresh