your mail

Matthew Fluet mfluet@intertrust.com
Sun, 29 Jul 2001 00:20:45 -0700 (PDT)


> Any  way,  do  you  want a file name or standard input or both for the brain?
> Actually I'm happier with standard input because once you link in  a  shorter
> solution which passes the meaning checker, I will remove the original.

	brain candidatesDirectory killTime < inputFile

That looks fine.  Agreed that there is no reason to hang onto the original
input file once a better result is sitting around.