coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Ascii module

From: St�phane Lescuyer <stephane.lescuyer AT inria.fr>
To: Tom Prince <tom.prince AT ualberta.net>
Cc: Brandon Moore <brandon_m_moore AT yahoo.com>, AUGER Cedric <Cedric.Auger AT lri.fr>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Ascii module
Date: Sat, 5 Mar 2011 20:30:49 +0100

On Fri, Mar 4, 2011 at 11:05 PM, Tom Prince
<tom.prince AT ualberta.net>
wrote:
> Is this available anywhere?

Not really... until someone asks me :) Here's a link:

http://www.lri.fr/~lescuyer/archs/counting.tgz

St�phane
--
I'm the kind of guy that until it happens, I won't worry about it. -
R.H. RoY05, MVP06

Re: [Coq-Club] Ascii module, (continued)