The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

> > Also, please let us know if it's *not*  okay for us to repost your
> > project description on our wiki.
>
> I really don't get why you guys started a new wiki to store first Coq
> Tips / FAQ and now, apparently, to collect list of groups working on
> programming language formalization using Coq.  In your first post you
> mention that in the future you might be migrating to Cocorico, but  
> this
> as well doesn't seem to be a good idea: the later, the worst. Can you
> please migrate your stuff to Cocorico so as to avoid duplication of
> efforts?

Hi Stefano,

To be honest, we've had some trouble understanding what is the status  
of existing Coq wikis (the "official" one and Cocorico).  I posted a  
message here in the fall asking which one was under active  
development and received no responses; then at POPL I had some  
discussions that indicated that Cocorico was now the main one but  
that it was in the process of being moved and reorganized.  We  
followed this up with some emails asking where we should add the  
material we were thinking of putting together, but these have not  
been answered yet.  Finally we decided that it was better to go ahead  
and collect the material and transfer it to the main Coq wiki  
whenever it became clearer exactly where that belonged.  If you or  
someone else can help us with that, we'll be more than happy to  
migrate our stuff.

Best,

    - Benjamin