| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Apr 17 07:18:37 EDT 2009 |
|
![[logo]](/logo.png){kind=logo}
At Thu, 16 Apr 2009 18:27:26 -0400, "Todd O'Bryan" wrote:
> Is this as easy as adding [intermediate-lambda λ] and [advanced-lambda
> λ] respectively to the
>
> (provide (rename-out
>
> blocks of collects/lang/htdp-intermediate.ss and htdp-advanced.ss respectively?
>
> It seems to work and doesn't invalidate the spelled out form
> ("lambda"), but I may be missing something. If that's it, I've
> attached a patch.
Patch applied in SVN - thanks!
| Posted on the users mailing list. |
|