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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
