coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Front end for COQ JS

From: e+coq-club AT x80.org (Emilio Jesús Gallego Arias)
To: James Smith <jecs AT imperial.ac.uk>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Front end for COQ JS
Date: Mon, 20 Jun 2016 22:52:12 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e+coq-club AT x80.org; spf=Neutral smtp.mailfrom=e+coq-club AT x80.org; spf=None smtp.helo=postmaster AT jiboia.ensmp.fr
Ironport-phdr: 9a23:aC9oNBNvI3S7CUVOm1Il6mtUPXoX/o7sNwtQ0KIMzox0KPr9rarrMEGX3/hxlliBBdydsKIVzbuL+Pm6BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbHvsMSJPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvXa09QKcQNzEnL2B9sM/mvgLrTA6X62EdW2FQmxEOHguTvz/gWZKkv2jxsfM40y2HN+XmHehyXi6tp+dGTR7siSBPFTMiYnqfpcV0iK9Up1qIvR122M+HM8muKPNic/aFLpshTm1bU5MJWg==
Organization: X80 Heavy Industries

James Smith
<jecs AT imperial.ac.uk>
writes:

> In a meantime, I will start an issue on GitHub and reference our brief
> correspondence here, perhaps.

Cool, we continue the chat there then! IMHO it shouldn't be too hard to
get a first thing running.

Kind regards,
Emilio

[Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/13/2016
- Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Benjamin C. Pierce, 06/20/2016
  - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/20/2016
    - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Emilio Jesús Gallego Arias, 06/20/2016
      - Re: [Coq-Club] ANN: jsCoq 0.8 / SerAPI 0.02, Benjamin C. Pierce, 06/21/2016
  - [Coq-Club] Front end for COQ JS, James Smith, 06/20/2016
    - Re: [Coq-Club] Front end for COQ JS, Emilio Jesús Gallego Arias, 06/20/2016
      - Re: [Coq-Club] Front end for COQ JS, James Smith, 06/20/2016
        
        Re: [Coq-Club] Front end for COQ JS, Emilio Jesús Gallego Arias, 06/20/2016
        
        [Coq-Club] Front end for COQ JS, James Smith, 06/21/2016