3 ms·
You might find this repo [1] by Melvin Zhang helpful. [1] https://github.com/melvinzhang/binary-lambda-calculus https://github.com/melvinzhang/binary-lambda-ca
by tromp 1y ago
You might find this repo [1] by Melvin Zhang helpful.
[1] https://github.com/melvinzhang/binary-lambda-calculus https://github.com/melvinzhang/binary-lambda-calculus