On Wed, Nov 19, 2008 at 5:24 PM, Duncan Coutts <duncan.coutts@worc.ox.ac.uk> wrote:
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@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 ƛ.
They're listed under Mathematical Alphanumeric Symbols. <http://www.unicode.org/charts/PDF/U1D400.pdf> e.g., 1D6CC mathematical bold small lambda -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>