The Bruijn Programming Language (text.marvinborner.de)

submitted 2 years ago by [email protected] to c/[email protected]

0 comments fedilink hide all child comments

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.

no comments (yet)

sorted by: hot top new old

there doesn't seem to be anything here

this post was submitted on 04 Jul 2023

1 points (100.0% liked)

Furry Programmers

390 readers

8 users here now

English-language general programmers community

Please treat pawb.social’s rules as though they were the rules of this community, even if you’re posting from another instance!

founded 2 years ago

MODERATORS

[email protected]