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

From: Noel Welsh (noelwelsh at gmail.com)
Date: Sat Sep 12 01:49:42 EDT 2009

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

Or, we both need to read the book.


Posted on the users mailing list.