Encoding Example Rendering Reduction Fractals Sierpiński Triangle T-Square “Sierpiński Carpet” Cantor Dust Utilities Pure lambda calculus has encodings for many different data structures like lists, numbers, strings, and trees. Wrapped in monadic IO, lambda calculus provides a great interface for computation – as can be seen in user-friendly syntactic variants like my programming language bruijn. Such simple languages, however, typically don’t support graphical output (aside from ASCII art). I p...