prunesquallor at comcast.net prunesquallor at comcast.net
Sun Oct 26 18:50:56 EST 2003

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

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.

---

• Previous message (by thread): Python from Wise Guy's Viewpoint
• Next message (by thread): Python from Wise Guy's Viewpoint
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-list mailing list