Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Unicode input

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode input


chronological Thread 
  • 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ḱ
>
>
>


Archive powered by MhonArc 2.6.16.

Top of Page