9 ms·
This has long been my favorite entry! Still on my todo list to go through and fully understand it.
by biot 1y ago
This has long been my favorite entry! Still on my todo list to go through and fully understand it.
- tromp 1y agoYou might find this repo [1] by Melvin Zhang helpful. [1] https://github.com/melvinzhang/binary-lambda-calculus https://github.com/melvinzhang/binary-lambda-calculus