Binary Lambda Calculus - Esoteric programming language

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

#1860on PLDB	19Years Old	0Books
0Papers

Try now: Riju

Binary lambda calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004,[1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.

Binary Lambda Calculus website
Binary Lambda Calculus first developed in Centrum Wiskunde & Informatica
Binary Lambda Calculus on Esolang
HTML of this page generated by LanguagePage.ts

Example from Riju:

001010100100100001100101011011000110110001101111001011000010
000001110111011011110111001001101100011001000010000100001010

Example from hello-world:

 Hello World