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