Re: self-hosting gc - Naggum cll archive

Subject: Re: self-hosting gc
From: Erik Naggum <erik@naggum.net>
Date: Sun, 10 Mar 2002 03:48:29 GMT
Newsgroups: comp.lang.lisp
Message-ID: <3224720919056228@naggum.net>

* Matthias Blume <matthias@shimizu-blume.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.