search

evinism / lambda-explorer

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

Create a library of recognized functions #17

Open evinism opened 7 years ago

evinism commented 7 years ago

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 and relay back to the user.