[plt-scheme] pathetic t-shirt puns dep't.

On Sat, Sep 12, 2009 at 2:35 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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/".
>

In this case, I believe it means the substitution of the value V for
all occurrences of the free variable x in the body M of the lambda
expression.

Or, we both need to read the book.

N.