Comment by 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://www.ioccc.org/2012/tromp/hint.html

> https://github.com/tromp/AIT