lambda-explorer icon indicating copy to clipboard operation
lambda-explorer copied to clipboard
verified publisher icon evinism

Create a library of recognized functions

Open evinism opened this issue 8 years ago • 0 comments

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.

evinism avatar May 20 '17 00:05 evinism