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