[Haskell-cafe] Mysterious fact

[Andrew Coppin]

On 01/11/2010 10:40 PM, Jeremy Shaw wrote:
> Looks a lot like Church encoding to me:
>
> http://en.wikipedia.org/wiki/Church_encoding
>
> It was first discovered by the guy who invented lambda calculus :p
>

Yes, well, the various Church encodings and the lambda calculus in 
general are where I got the idea. I was just wondering if there's a 
specific term for using this in concrete programs rather than as a 
theoretical exercise, that's all.