The Bruijn Programming Language

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.