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
Lambda Screen allows you to draw images using terms of pure lambda calculus. By using fixed-point combinators, you can even create infinitely detailed fractals.| text.marvinborner.de