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