The bruijn programming language
text.marvinborner.de
The bruijn programming language is pure lambda calculus with some syntactic improvements. It doesn’t have any primitive functions – how is that possible?

Bruijn is a programming that implement pure lambda calculus using De Bruijn Indexes. This article discuss the ideas behind the language, it’s implementation, and the properties of binary lambda calculus.