this gist has been moved into the lambda-calculus repository
-
-
Save masak/8e082999e06bfb4d03b8d12899bbcde5 to your computer and use it in GitHub Desktop.
Implementing the world using lambda calculus
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I found this handout to be quite clear and similar to what is attempted in this gist.