[Haskell-cafe] What puts False before True?
rendel at rbg.informatik.tu-darmstadt.de
Tue Jun 5 08:37:28 EDT 2007
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
More information about the Haskell-Cafe