On 8/29/06, Kris Schnee <[EMAIL PROTECTED]> 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?
