This repo contains demo code that shows how to gradually build up a lambda calculus in a couple of languages, along with a method of deriving the Z combinator by refactoring from a working named recursion example.
newportandy / lambda_example_code Goto Github PK
View Code? Open in Web Editor NEWThis is the sample code for a talk about the Lambda Calculus