lambda-explorer
lambda-explorer copied to clipboard
Create a library of recognized functions
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.