The Bruijn Programming Language
The Bruijn Programming Language
text.marvinborner.de The bruijn programming language
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.
0
comments