search

evinism / lambda-explorer

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

new problem navigation #87

Closed evinism closed 5 years ago

evinism commented 5 years ago
Screen Shot 2019-06-14 at 6 31 30 PM

It looks a little better, and has a problem count!