You WON’T BELIEVE what happens when you use this SIMPLE TRICK to calculate π from only 122 bits of data!!| text.marvinborner.de
Read this if you've always wanted to use monads in untyped languages!!| Text - Marvin Borner
We build complex mathematical formulas bottom-up using pure lambda calculus. Includes instructions of how to translate Taylor series and other approximations to lambda terms.| text.marvinborner.de
With inspiration from John Tromp's 232 bit lambda calculus self interpreter I created a universal machine for a homoiconic meta encoding based on the Mogensen-Scott encoding and Church-encoded De Bruijn indices.| Text - Marvin Borner
Two symbols for programming are clearly too many -- that's why I created a unary basis for the esoteric programming language Jot called Jottary. It's a unary combinatory logic miracle!| Text - Marvin Borner
Short post about two similar and yet quite different sequences in lambda calculus involving the omega combinator and Church encoded numerals.| Text - Marvin Borner
This article describes a variadic extension to the default fixed-point combinator – namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).| text.marvinborner.de
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
This article explains different strategies of encoding data as pure lambda calculus expressions – from simple states and boxes to more complex data structures like lists and trees.| text.marvinborner.de
Space-efficient binary lambda calculus encoding for binary data| Text - Marvin Borner
An algorithm for deriving shared λ-graphs from expressions in pure lambda calculus by using hashes in a postorder tree traversal.| 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