Indeed; that's one of the 3 references listed at the bottom of the article: > See Also > https://tromp.github.io/cl/Binary_lambda_calculus.html https://tromp.

Indeed; that's one of the 3 references listed at the bottom of the article: > See Also > https://tromp.github.io/cl/Binary_lambda_calculus.html https://tromp.github.io/cl/Binary_lambda_calculus.html > https://www.ioccc.org/2012/tromp/hint.html https://www.ioccc.org/2012/tromp/hint.html > https://github.com/tromp/AIT https://github.com/tromp/AIT