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.
Syndicated from the fediverse. Read and engage on the original instance.
View original on pawb.socialhttps://text.marvinborner.de/2023-04-06-01.htmlOpen linkView original on pawb.social
No replies yet