4 ms·

I also wrote one at http://tromp.github.io/cl/Binary_lambda_calculus.html#Brainfuck http://tromp.github.io/cl/Binary_lambda_calculus.html#Brainf... to demonst

by tromp 10y ago

I also wrote one at http://tromp.github.io/cl/Binary_lambda_calculus.html#Brainfuck http://tromp.github.io/cl/Binary_lambda_calculus.html#Brainf... to demonstrate the invariance theorem.