Furry Programmers

293 readers

1 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 1 year ago

MODERATORS

[email protected]

The Bruijn Programming Language (text.marvinborner.de)

submitted 1 year 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 controversial new old

there doesn't seem to be anything here