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
Things I want to implement in (a syntactic sugar on top of) lambda caclulus: