complaints about no replies last week
Aaron Brady
castironpi at gmail.com
Thu Apr 2 09:55:31 EDT 2009
On Mar 31, 4:34 pm, Arnaud Delobelle <arno... at googlemail.com> wrote:
> a... at pythoncraft.com (Aahz) writes:
> > Arnaud Delobelle <arno... 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.
Is it simple, complex, or complicated? IS IT FLAT OR NESTED! </
shouting>
More information about the Python-list
mailing list