On 10/7/07, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: > For all that effort, I'd have gotten prettier lambda's. (-: How do he prettier ones look?