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.)
Tony. -- f.a.n.finch <[EMAIL PROTECTED]> http://dotat.at/ MALIN: EAST OR SOUTHEAST 4 OR 5. MODERATE. FAIR. MODERATE OR GOOD. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe