[tromp]

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

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