Getting close to the conceptual metal: Lambda calculus and Scott encoding

Details

The Lambda calculus is a universal model of computation, and Scott encoding is a method of representing any algebraic data type within it.

If that sounds interesting, come, share a buffer as we see how much we can build using nothing but hot air.