complaints about no replies last week
Arnaud Delobelle
arnodel at googlemail.com
Tue Mar 31 17:34:01 EDT 2009
aahz at pythoncraft.com (Aahz) writes:
> Arnaud Delobelle <arnodel at googlemail.com> wrote:
>>
>>There are no comments - I don't have the time to add any, sorry!
>
> The margin is too small to contain the proof?
I wish I could come up with such a resilient conjecture!
Ah but in this case, the proof is in the program, as Curry-Howard may
well have said.
--
Arnaud
More information about the Python-list
mailing list