On: Lambda Calculus Diagrams (2015)

[tromp]

Note that the submitter is the same fanf as in this winning entry [1] in the 1998 International Obfuscated C Code Contest (a bracket abstraction algorithm from lambda calculus into combinatory logic).

[1] https://www.ioccc.org/years.html#1998_fanf