The bruijn programming language is pure lambda calculus with some syntactic improvements. It doesn’t have any primitive functions – how is that possible?| text.marvinborner.de
