slides and sample code for "The Lambda Cube"
Clojure implementation of Church encodings from the untyped lambda calculus.
Haskell implementation of Church encodings from the simply typed lambda calculus.
Scala implementation of Church encodings at the type-level from λω.