On Dec 20, 2007 12:41 PM, <gwern0@gmail.com> wrote:

Thu Dec 20 12:40:01 EST 2007  gwern0@gmail.com
 * Search.hs: cleanup and refactor