Skip to content

Instantly share code, notes, and snippets.

@masak

masak/description.md Secret

Last active September 20, 2023 01:55
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save masak/8e082999e06bfb4d03b8d12899bbcde5 to your computer and use it in GitHub Desktop.
Save masak/8e082999e06bfb4d03b8d12899bbcde5 to your computer and use it in GitHub Desktop.
Download ZIP
Implementing the world using lambda calculus
Raw
description.md
@masak
Copy link
Author

masak commented Jan 2, 2017 •
edited

Things I want to implement in (a syntactic sugar on top of) lambda caclulus:

  • Quadratic equation solver (that can output complex roots)
  • Integer factoring
  • RSA encryption/decryption
  • Newton's method
  • Lambda calculus interpreter
  • Lambda calculus compiler

@masak
Copy link
Author

masak commented Jun 29, 2021

I found this handout to be quite clear and similar to what is attempted in this gist.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment