coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Leveraging the module system

From: Taral <taralx AT gmail.com>
To: "M. Scott Doerrie" <mdoerri AT cs.jhu.edu>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Leveraging the module system
Date: Fri, 30 Jan 2009 15:40:36 -0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=SfiWRJNgKs0WS6qE2CMV8i61NNf4hjRsAuvzu2h/W9k2TVZvAU2tr07l0AzFdr6UJf FL0++d/OyZ8/9GazK+LtE87J56ZGTlPLpOY5fZ5DxQf8hL/iz8KM5zlfXHJr5d49pX+I WE7Yezbhh84wRS+CPaLb/pTN5PKq8iDqXuxu0=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Fri, Jan 30, 2009 at 1:15 PM, M. Scott Doerrie
<mdoerri AT cs.jhu.edu>
wrote:
> Module Impl (P:SIG2).

Module Impl (P:SIG2) : SIG.

--
Taral
<taralx AT gmail.com>
"Please let me know if there's any further trouble I can give you."
-- Unknown

[Coq-Club] Leveraging the module system, M. Scott Doerrie
- Re: [Coq-Club] Leveraging the module system, Taral
  - Re: [Coq-Club] Leveraging the module system, M. Scott Doerrie
- Re: [Coq-Club] Leveraging the module system, Elie Soubiran
  - Re: [Coq-Club] Leveraging the module system, M. Scott Doerrie
  - Re: [Coq-Club] Leveraging the module system, M. Scott Doerrie