<br><br><div class="gmail_quote">On Wed, Dec 1, 2010 at 7:39 PM, David Van Horn <span dir="ltr">&lt;<a href="mailto:dvanhorn@ccs.neu.edu">dvanhorn@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br></div>
You can&#39;t substitute in values for variables that are set!; you need to use the techniques in the paper Shriram suggested, but the substitution model and effects can be made to work.<br>
<br>
To get the five minute version of Felleisen &amp; Hieb, see this page:<br>
<br>
   <a href="http://redex.plt-scheme.org/why-redex.html" target="_blank">http://redex.plt-scheme.org/why-redex.html</a></blockquote><div><br></div><div>Yes that makes sense.  Thanks. </div><div><br></div><div>yc</div><div>
<br></div></div>