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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Aug 13 16:09:49 EDT 2009

Ah, no --- `λ' already is in the Advanced level, probably because I
generalized your patch (or maybe your patch included it after all).

The docs are even correct. I must have just been confused when I
looked/tried this morning.

At Thu, 13 Aug 2009 16:07:14 -0400, "Todd O'Bryan" wrote:
> 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
> >


Posted on the users mailing list.