Timothy Fitz wrote:
>  On 8/29/06, Kris Schnee <kschnee@[...].net> wrote:
> > Why, a simulated version of Python of course -- PyPyPy!
>  
>  Given Py and PyPy, you can trivially recursively prove any number of
>  Pys, including the special case of n=3
>  
>  Or in other words, I still am not sure what you're asking. PyPy can
>  run PyPy, which can run PyPy which can run PyPy. Does this answer your
>  question?

It was an attempt at a joke...

Kris