gcd 0 0 = 0

[Ch. A. Herrmann]

>>>>> "Simon" == Simon Peyton-Jones <simonpj@microsoft.com> 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