Comment on To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)parentComments−tromp6yI wrote a Brainfuck interpreter in (binary) Lambda Calculus [1], which was included in my 2012 IOCC submission [2]. Writing a lambda calculus interpreter in BF would be a fun challenge.[1] https://tromp.github.io/cl/Binary_lambda_calculus.html#Brain...[2] http://www.ioccc.org/2012/tromp/hint.html
Comments
I wrote a Brainfuck interpreter in (binary) Lambda Calculus [1], which was included in my 2012 IOCC submission [2]. Writing a lambda calculus interpreter in BF would be a fun challenge.
[1] https://tromp.github.io/cl/Binary_lambda_calculus.html#Brain...
[2] http://www.ioccc.org/2012/tromp/hint.html