On 2008 Nov 22, at 12:12, Colin Paul Adams wrote:
"Arnar" == Arnar Birgisson <[EMAIL PROTECTED]> writes:
Arnar> To clarify - most of modern fonts do in deed have
Arnar> latin-greek-cyrillic (including the U+03BB lambda), but I
Arnar> was referring to the specific math symbols such as t
> "Arnar" == Arnar Birgisson <[EMAIL PROTECTED]> writes:
Arnar> To clarify - most of modern fonts do in deed have
Arnar> latin-greek-cyrillic (including the U+03BB lambda), but I
Arnar> was referring to the specific math symbols such as the
Arnar> U+1D6CC bold lam(b)da, which r
Jan> Some others are (I have no idea why they are referenced as
Jan> "lamda" instead of "lambda"):
See http://unicode.org/notes/tn27/ :
"U+039B GREEK CAPITAL LETTER LAMDA
U+03BB GREEK SMALL LETTER LAMDA
* The use of the spelling lamda derives from ISO 10646. This
does
Hi,
On Thu, Nov 20, 2008 at 18:56, Colin Adams
<[EMAIL PROTECTED]> wrote:
>> Another problem is font support.. none of the fonts on my
>> system (and I have quite a lot) have these codepoints defined.
>
> David> That seems surprising. Some of the more exotic math characters added at
> Unicode 3.2,
I thought it was worth asking David Carlisle about this. Here is his reply:
Colin> I thought I would draw this complaint to your attention, since I think
> you are probably responsible for getting many of these symbols into
> Unicode in the first place.
David>I had no part in not lam(b)da:-) that
On Thu, Nov 20, 2008 at 12:23, Duncan Coutts
<[EMAIL PROTECTED]> wrote:
> On Thu, 2008-11-20 at 09:50 +, Jan Jakubuv wrote:
>> Some others are (I have no idea why they are referenced as "lamda"
>> instead of "lambda"):
>
> Yeah, that's why I missed them. I was searching for what I thought was
>
On Thu, 2008-11-20 at 09:50 +, Jan Jakubuv wrote:
> Some others are (I have no idea why they are referenced as "lamda"
> instead of "lambda"):
Yeah, that's why I missed them. I was searching for what I thought was
the correct spelling.
Duncan
___
G
Some others are (I have no idea why they are referenced as "lamda"
instead of "lambda"):
039BGREEK CAPITAL LETTER LAMDA
03BBGREEK SMALL LETTER LAMDA
1D27GREEK LETTER SMALL CAPITAL LAMDA
1038D UGARITIC LETTER LAMDA
1D6B2 MATHEMATICAL BOLD CAPITAL LAMDA
# 039B greek capital
On Wed, Nov 19, 2008 at 5:24 PM, Duncan Coutts
<[EMAIL PROTECTED]> wrote:
> On Wed, 2008-11-19 at 15:01 +, Tony Finch wrote:
>> On Wed, 19 Nov 2008, Simon Marlow wrote:
>> >
>> > Tue Jan 16 16:11:00 GMT 2007 Simon Marlow <[EMAIL PROTECTED]>
>> > * Remove special lambda unicode character, it
On Wed, 2008-11-19 at 15:01 +, Tony Finch wrote:
> On Wed, 19 Nov 2008, Simon Marlow wrote:
> >
> > Tue Jan 16 16:11:00 GMT 2007 Simon Marlow <[EMAIL PROTECTED]>
> > * Remove special lambda unicode character, it didn't work anyway
> > Since lambda is a lower-case letter, it's debatable whe
On Wed, 19 Nov 2008, Simon Marlow wrote:
>
> Tue Jan 16 16:11:00 GMT 2007 Simon Marlow <[EMAIL PROTECTED]>
> * 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.
Duncan Coutts wrote:
On Tue, 2008-11-18 at 11:51 +, Ross Paterson wrote:
On Tue, Nov 18, 2008 at 10:30:01AM +, Malcolm Wallace wrote:
When the -XUnicodeSyntax option is specified, GHC accepts some Unicode
characters including left/right arrows. Unfortunately, the letter
"greek lambda" c
Hi,
Perhaps it would be possible to convince your text editor to display '\'
as, let's say, bold lambda? Of course it would need to know which '\'
mean lambdas.
Best,
Michał
On Tue, 2008-11-18 at 18:00 +0900, Kazu Yamamoto wrote:
> Hello,
>
> When the -XUnicodeSyntax option is specified, GHC ac
Hello,
> > If we reserve the greek lambda as special like '\', the lexer can
> > separate x into two tokens: and 'x', I guess.
>
> Not without redefining it as a symbol instead of a lowercase letter,
> which won't be done as previously discussed.
OK. Fine with me since this topic was previously
On 2008 Nov 18, at 20:53, Kazu Yamamoto (山本和彦) wrote:
If we reserve the greek lambda as special like '\', the lexer can
separate x into two tokens: and 'x', I guess.
Not without redefining it as a symbol instead of a lowercase letter,
which won't be done as previously discussed.
--
brando
Hello,
First of all, thank you for those who replied kindly.
> > > > When the -XUnicodeSyntax option is specified, GHC accepts some Unicode
> > > > characters including left/right arrows. Unfortunately, the letter
> > > > "greek lambda" cannot be used. Are there any technical reasons to not
> > >
Quoth Duncan Coutts <[EMAIL PROTECTED]>:
| On Tue, 2008-11-18 at 11:51 +, 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 ->
On Tue, 2008-11-18 at 11:51 +, Ross Paterson wrote:
> On Tue, Nov 18, 2008 at 10:30:01AM +, Malcolm Wallace wrote:
> > > When the -XUnicodeSyntax option is specified, GHC accepts some Unicode
> > > characters including left/right arrows. Unfortunately, the letter
> > > "greek lambda" cannot
On Tue, Nov 18, 2008 at 10:30:01AM +, Malcolm Wallace wrote:
> > When the -XUnicodeSyntax option is specified, GHC accepts some Unicode
> > characters including left/right arrows. Unfortunately, the letter
> > "greek lambda" cannot be used. Are there any technical reasons to not
> > accept it?
Hello Kazu,
Tuesday, November 18, 2008, 12:00:25 PM, you wrote:
> characters including left/right arrows. Unfortunately, the letter
> "greek lambda" cannot be used. Are there any technical reasons to not
> accept it?
i think it is accepted as usual letter - reason is that greeks can
use it in th
> When the -XUnicodeSyntax option is specified, GHC accepts some Unicode
> characters including left/right arrows. Unfortunately, the letter
> "greek lambda" cannot be used. Are there any technical reasons to not
> accept it?
The "greek lambda" is a normal lower-case alphabetic character - it can
21 matches
Mail list logo
