18 Dec
2001
18 Dec
'01
11:16 a.m.
"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