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