From: Robby Findler (robby at eecs.northwestern.edu) Date: Fri Sep 11 21:35:55 EDT 2009 |
|
On Fri, Sep 11, 2009 at 8:11 PM, Grant Rettke <grettke at acm.org> wrote: > On Fri, Sep 11, 2009 at 7:58 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: >> Did you try clicking on the magnifying glass icon? > > Yes. I should have said "What does E[(lambda_x.M) V] -> E[M[V/x]]" mean? Loosely translated, it means: "read this book http://redex.plt-scheme.org/". :) Robby
Posted on the users mailing list. |
|