> what Lisp is to Lambda calculus It's more like what Binary Lambda Calculus is to lambda calculus. See my IOCCC entry http://www.ioccc.org/2012/tromp/tromp.c

> what Lisp is to Lambda calculus It's more like what Binary Lambda Calculus is to lambda calculus. See my IOCCC entry http://www.ioccc.org/2012/tromp/tromp.c http://www.ioccc.org/2012/tromp/tromp.c http://www.ioccc.org/2012/tromp/hint.html http://www.ioccc.org/2012/tromp/hint.html which happens to include a Brainfuck interpreter...