| From: Grant Rettke (grettke at acm.org) Date: Fri Sep 11 21:11:36 EDT 2009 |
|
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? Sorry.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}