[plt-scheme] how to have #\u03BB (lambda) working in htdp languages

I think I provided a patch, which you applied, but it was probably
just for Intermediate with Lambda, not Advanced. Sorry about that.

On Thu, Aug 13, 2009 at 7:13 AM, Matthew Flatt<mflatt at cs.utah.edu> wrote:
> At Wed, 12 Aug 2009 22:13:57 -0400, "Skeptic ." wrote:
>> What would be the best way to add support for the #\u03BB (lambda)
>> character to htdp advanced student language ?
>
> You could add it through a teachpack implemented as
>
>  #lang scheme/base
>  (require lang/htdp-advanced)
>  (provide (rename-out [lambda λ]))
>
>
> I'm not sure why `λ' isn't already bound in the HtDP languages. I'm
> sure that some of us have discussed it, but I don't remember the
> conclusion (i.e., whether we decided that it was a bad idea or that we
> just didn't get around to adding it).
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>