Subject: Re: self-hosting gc From: Erik Naggum <email@example.com> Date: Sun, 10 Mar 2002 03:48:29 GMT Newsgroups: comp.lang.lisp Message-ID: <firstname.lastname@example.org> * Matthias Blume <email@example.com> | That does not matter. You can check whether the proof is correct. | That's far, far easier than coming up with it. Do you check this for the source code or for the compiled machine code? /// -- In a fight against something, the fight has value, victory has none. In a fight for something, the fight is a loss, victory merely relief.