Unicode's greek lambda

[Donn Cave]

Quoth Duncan Coutts <duncan.coutts at worc.ox.ac.uk>:
| On Tue, 2008-11-18 at 11:51 +0000, Ross Paterson wrote:

|> But it could be a reserved word synonymous with \.  After all, \ can
|> occur in operator symbols, but the operator \ is reserved.
|
| Presumably that would let you do (\ x -> ...) but not (\x -> ) since the
| "\x" would run together and lexically it would be one identifier.

Good, that's clearly the right way to do it anyway!

	Donn