coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Announcement: dblib, a de Bruijn index library

From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Announcement: dblib, a de Bruijn index library
Date: Mon, 02 Dec 2013 17:35:00 +0100

Le lundi 02 décembre 2013 à 11:10 -0500, J. Ian Johnson a écrit :
> The version, precisely: trunk
> (e875e90d1d90aec22e6f206f04c4941cb5a3bcd1)
>
> Anyone know what might be going on here?
Yes, trunk is nothing but stable for now. See
http://coq.inria.fr/bench/coqbench.cgi?version=trunk
if you need to be more convinced.

By the way, this is a good opportunity to say that if Francois agrees,
he could fill http://coq.inria.fr/pylons/contribs/new in order for
dblib to go in this bench!

Pierre B.

[Coq-Club] Announcement: dblib, a de Bruijn index library, Francois Pottier, 12/02/2013
- Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, J. Ian Johnson, 12/02/2013
  - Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, Pierre Boutillier, 12/02/2013
- Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, Soroosh Sardari, 12/08/2013
  - Re: [Coq-Club] Announcement: dblib, a de Bruijn index library, Jason Gross, 12/08/2013