coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Bas Spitters <spitters AT cs.ru.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Unicode input
Date: Wed, 17 Feb 2010 13:08:28 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; b=Pq3HXRVJ2PlIexL5Db/6wB8cmMv7IdnbvxwT7b4DbOPzFvzZMfqTuySeo1B25Pj2Em hLpvTep3wongV73kqOiePd213z7QnHgGZNKKbdc4lHA/pWcsFvbkTUsvl1SA9RDELOJ9 lF1fGHyTb71i9hkrxHHz0fFWwZgpg27DyRcyU=

What method do people use to input unicode characters, preferably
methods that work with coqide.

The agda way seems nice:
http://wiki.portal.chalmers.se/agda/agda.php?n=Docs.UnicodeInput

Thanks,

Bas

[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