[Haskell-cafe] What puts False before True?

Tillmann Rendel 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 mailing list