Binary Lambda Calculus - Esoteric programming language

Binary Lambda Calculus is an esoteric programming language created in 2004 by John Tromp.

#1704on PLDB

20Years Old

Try now: Riju

Example from Riju:

001010100100100001100101011011000110110001101111001011000010
000001110111011011110111001001101100011001000010000100001010

Example from hello-world:

 Hello World