>>>>> "Simon" == Simon Peyton-Jones <[EMAIL PROTECTED]> writes:
Simon> Christoph does not like this
It's OK if the definition is clear; it wasn't using
the words "positive" or "greatest integer".
Stating "gcd 0 0 = 0" explicitly is a good thing,
even if it could be expressed verbatim;
people may think about the mathematical background,
but they should not need to think about the
meaning of the definition.
Anyway, I'm still against promoting 1 to a prime number :-)
Cheers
--
Christoph
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
