a...@pythoncraft.com (Aahz) writes: > Arnaud Delobelle <arno...@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 -- http://mail.python.org/mailman/listinfo/python-list
