gram on Nostr: I just finished an overly-documented Rust-powered #lambda calculus interpreter: ...
I just finished an overly-documented Rust-powered #lambda calculus interpreter:
https://github.com/orsinium-labs/rlci
4 years ago, I got into lambda calculus by watching [1] and implementing [2] on #python the Lambda Calculus workshop by npub1sys4gja5v6r2pmsyan8ntwye9txrhzfe6yq4rnjt8jf6vguujuas5eckr3 (npub1sys…ckr3), and I still think this is the most mind-blowing thing I know (on par with category theory). Learning #Rust was an excellent excuse to dive into it again.
[1]: https://www.youtube.com/watch?v=pkCLMl0e_0k
[2]: https://github.com/orsinium-labs/python-lambda-calculus
https://github.com/orsinium-labs/rlci
4 years ago, I got into lambda calculus by watching [1] and implementing [2] on #python the Lambda Calculus workshop by npub1sys4gja5v6r2pmsyan8ntwye9txrhzfe6yq4rnjt8jf6vguujuas5eckr3 (npub1sys…ckr3), and I still think this is the most mind-blowing thing I know (on par with category theory). Learning #Rust was an excellent excuse to dive into it again.
[1]: https://www.youtube.com/watch?v=pkCLMl0e_0k
[2]: https://github.com/orsinium-labs/python-lambda-calculus