[biot]

This has long been my favorite entry! Still on my todo list to go through and fully understand it.

[tromp]

You might find this repo [1] by Melvin Zhang helpful.

[1] https://github.com/melvinzhang/binary-lambda-calculus