Furry Programmers
CapitalEx
•
1y ago
•
100%
The Bruijn Programming Language
https://text.marvinborner.de/2023-04-06-01.htmlBruijn 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.
Comments 0