coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>
To: Matthieu Sozeau <mattam AT mattam.org>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Parameterized Instances for type classes
Date: Tue, 20 Jul 2010 16:18:15 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=qSvelcYnGp5RYAKKmYSHr5auZDbau9oN1g0aoLhmmTHj1iBzM+maSBcAbQo+ancB0l JHD/L6lg6dajRVfrYQFJrDJTLQR1c6e4xX7b+PdrVM6LLYyPaiU0ViOqu1q0/sdgNdTO LXNYUn66BpBoqiwwoJD7fGWcyIAlVVuB6xqFE=

Hi Matthieu

Thanks for the quick answer. I added this as Bug 2362!

Cheers,
--
Alexandre

[Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz
- Re: [Coq-Club] Parameterized Instances for type classes, Matthieu Sozeau
  - Re: [Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz
  - Re: [Coq-Club] Parameterized Instances for type classes, Alexandre Pilkiewicz