coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Heterogeneous equality?

From: Edsko de Vries <devriese AT cs.tcd.ie>
To: roconnor AT theorem.ca
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Heterogeneous equality?
Date: Fri, 28 Mar 2008 16:35:08 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

Thank you both for your answers. Sorry for the slow reply, currently at
a conference. I'm going to try to find a way to avoid this problem
altogether; it makes life quite complicated!

Thanks again,

Edsko

[Coq-Club] Heterogeneous equality?, Edsko de Vries
- Re: [Coq-Club] Heterogeneous equality?, Adam Chlipala
- Re: [Coq-Club] Heterogeneous equality?, roconnor
  - Re: [Coq-Club] Heterogeneous equality?, Adam Chlipala
    - Re: [Coq-Club] Heterogeneous equality?, roconnor
  - Re: [Coq-Club] Heterogeneous equality?, Edsko de Vries