Python from Wise Guy's Viewpoint

[prunesquallor at comcast.net]

Joachim Durchholz <joachim.durchholz at web.de> writes:

> prunesquallor at comcast.net wrote:
>
>> Being unable to prove code correct is the same thing as being able to
>> prove it incorrect.
>
> This true for HM typing but not true for inference systems in
> general. But probably you wanted to say something else anyway.

Um, yeah.  I did:

  Being unable to prove code correct is *not* the same thing as being
  able to prove it incorrect.