coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Courtieu <Pierre.Courtieu AT cnam.fr>
- To: Danko Ilik <dankoilik AT gmail.com>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Unicode input
- Date: Tue, 23 Feb 2010 10:53:57 +0100
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type :content-transfer-encoding; b=jc98bEzSPSiFjiQ9EuVttzm6WomSUQJ2y3BPYowlQDDeO4u7kqbujO1ECqDjykyovc 5fupFsWz14oTcrUIvwC0WG6HkZoqQcxClaADgBFvUwm3ioE6bilo4h1yqR/tCaQhNXqA CfdQ84WKpzBZQPy+aknlfgEYcuzTPEeswTXfM=
I suppose that using unicode only in notations is a way to work around
this limitation of ocaml.
Cheers,
Pierre Courtieu
2010/2/22 Danko Ilik
<dankoilik AT gmail.com>:
> I forward the e-mail that was meant to go to coq-club:
>
>> From: Bas Spitters
>>Â <spitters AT cs.ru.nl>
>> Date: February 22, 2010 4:39:42 PM GMT+01:00
>> To: Danko Ilik
>>Â <dankoilik AT gmail.com>
>> Subject: Re: [Coq-Club] Unicode input
>>
>> It seems that haskell does support unicode, but there are some
>> problems with lambdas:
>>
>> http://hackage.haskell.org/trac/ghc/ticket/1102
>>
>> Pierre: Does switching to unicode mean that we will have to give up
>> extraction??
>>
>> Best,
>>
>> Bas
>
> --
> Danko Iliḱ
>
>
>
- [Coq-Club] Unicode input, Bas Spitters
- Re: [Coq-Club] Unicode input,
Pierre Courtieu
- Re: [Coq-Club] Unicode input,
Pierre-Marie Pédrot
- Re: [Coq-Club] Unicode input,
Bas Spitters
- Re: [Coq-Club] Unicode input, Danko Ilik
- Re: [Coq-Club] Unicode input,
Bas Spitters
- Re: [Coq-Club] Unicode input, Nils Anders Danielsson
- Re: [Coq-Club] Unicode input,
Pierre-Marie Pédrot
- <Possible follow-ups>
- Fwd: [Coq-Club] Unicode input,
Danko Ilik
- Re: [Coq-Club] Unicode input, Pierre Courtieu
- Re: [Coq-Club] Unicode input,
Bas Spitters
- Re: [Coq-Club] Unicode input,
Pierre Letouzey
- Re: [Coq-Club] Unicode input,
Benjamin Pierce
- Re: [Coq-Club] Unicode input, Frédéric Besson
- Re: [Coq-Club] Unicode input,
Benjamin Pierce
- Re: [Coq-Club] Unicode input,
Pierre Letouzey
- Re: [Coq-Club] Unicode input,
Bas Spitters
- Re: [Coq-Club] Unicode input, Pierre Courtieu
- Re: [Coq-Club] Unicode input, vincent . gross
- Re: [Coq-Club] Unicode input,
Pierre Courtieu
Archive powered by MhonArc 2.6.16.