Re: [Haskell-cafe] What puts False before True?

Tony Finch wrote:

Another point worth noting is that the usual lambda calculus representations of false and zero are equivalent. (However true is not the same as one.)

Looking at Church encoding, false = zero true = <something else> may be a point for false < true, but true = curry fst false = curry snd may be a point for true < false. And what about this? true = const false = const id Tillmann