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
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