On 8/31/06, Kris Schnee <[EMAIL PROTECTED]> wrote:
It was an attempt at a joke...
So was this: """ Given Py and PyPy, you can trivially recursively prove any number of Pys, including the special case of n=3 """ So I guess I fail at being funny, or perhaps not everyone here has been forced to do as many recursive proofs in college as I have (: