My Binary Lambda Calculus is specified in a few paragraphs in http://www.ioccc.org/2012/tromp/hint.html http://www.ioccc.org/2012/tromp/hint.html and includes b

My Binary Lambda Calculus is specified in a few paragraphs in http://www.ioccc.org/2012/tromp/hint.html http://www.ioccc.org/2012/tromp/hint.html and includes basic IO. It blc-zips to only 29 bytes (size of self-interpreter). The 25-lines-of-obfuscated-C interpreter is on the very shirt that I wear on my (clickable) homepage picture.