Church lists in Haskell...

encoding binary numerals in lambda calculus...

How to implement Binary numbers in Haskell...

Why are difference lists not an instance of foldable?...

Lambda calculus in Haskell: Is there some way to make Church numerals type check?...

Operations on Church Lists in Haskell...

Is the Church numeral encoding of natural numbers unnecessarily complicated?...

Expressing Church Numerals with Boost.Bind...

How can I make Church numerals more human readable in lisp?...