coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Fwd: [Coq-Club] Unicode input

From: Danko Ilik <dankoilik AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Fwd: [Coq-Club] Unicode input
Date: Mon, 22 Feb 2010 21:18:36 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:content-type:content-transfer-encoding:subject:date:references :to:message-id:mime-version:x-mailer; b=tdRdc4+yUlf5RcsYOitkutE05BXYbfXm/IKbK+YegaLoULJuDw240/6L2g9cgO+EzK 2rjEY8dZ04f/FO/TFCqNVUr4ifNxEGbtWGSBwob4214h5sgZ/Iwfv3NVcic/wC8vCe26 i+sHUjNrtqqGHq10rrvTuzpmshGK0SGsucZpU=

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, Nils Anders Danielsson
- <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, vincent . gross