On 8/29/06, Kris Schnee <kschnee@xxxxxxxxxx> 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