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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Aug 13 07:13:43 EDT 2009

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).

Posted on the users mailing list.