Bruijn wiki

Bruijn is basically pure lambda calculus with a bit of syntactic sugar. It has no side effects, primitive functions or datatypes.

Browse this wiki by using the search or by clicking next or any of the links. If you prefer free-flowing text, read the blog post The bruijn programming language.