Unicode's greek lambda

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Wed Nov 19 17:24:21 EST 2008


On Wed, 2008-11-19 at 15:01 +0000, Tony Finch wrote:
> On Wed, 19 Nov 2008, Simon Marlow wrote:
> >
> > Tue Jan 16 16:11:00 GMT 2007  Simon Marlow <simonmar at microsoft.com>
> >   * Remove special lambda unicode character, it didn't work anyway
> >   Since lambda is a lower-case letter, it's debatable whether we want to
> >   steal it to mean lambda in Haskell source.  However if we did, then we
> >   would probably want to make it a "special" symbol, not just a reserved
> >   symbol, otherwise writing \x->... (using unicode characters of course)
> >   wouldn't work, because \x would be treated as a single identifier,
> >   you'd need a space.
> 
> There are a number of mathematical lambdas in Unicode (distinct from teh
> Greek lambdas), but they are not in the basic multilingual plane and they
> are presumably not very easy to type :-)

Do you know what they are? I couldn't find any other than the greek
lambda λ and the latin lambda with stroke ƛ.

Duncan



More information about the Glasgow-haskell-users mailing list