coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Have you try Google translate and its synthetic voices ?

Le 4 juil. 2014 20:56, "Stefan Monnier" <monnier AT iro.umontreal.ca> a écrit :

> Or just say "rooster".

But don't you then need extensionality?

Stefan

[Coq-Club] How to pronounce Coq?, Richard Ford, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Pierre-Marie Pédrot, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier MONTILLET, 07/04/2014
  - Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
    - Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/04/2014
      - Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
        
        Re: [Coq-Club] How to pronounce Coq?, Jonathan, 07/04/2014
        
        Re: [Coq-Club] How to pronounce Coq?, Greg Morrisett, 07/04/2014
        
        Re: [Coq-Club] How to pronounce Coq?, Allen Brown, 07/04/2014
        
        Re: [Coq-Club] How to pronounce Coq?, Stefan Monnier, 07/04/2014
        Re: [Coq-Club] How to pronounce Coq?, Christophe Bal, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Benoit Montagu, 07/05/2014
  - Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/05/2014
    - Re: [Coq-Club] How to pronounce Coq?, Arnaud Spiwack, 07/07/2014
      - Re: [Coq-Club] How to pronounce Coq?, Altenkirch Thorsten, 07/08/2014