coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Depenednt types and equality proofs

From: Ian Lynagh <igloo AT earth.li>
To: Evgeny Makarov <emakarov AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Depenednt types and equality proofs
Date: Fri, 3 Sep 2010 14:57:02 +0100

On Fri, Sep 03, 2010 at 12:54:47AM +0400, Evgeny Makarov wrote:
>
> message, but you could finish your development as follows.

Aha, that's great, thanks!

Thanks
Ian

[Coq-Club] Depenednt types and equality proofs, Ian Lynagh
- Re: [Coq-Club] Depenednt types and equality proofs, Evgeny Makarov
  - Re: [Coq-Club] Depenednt types and equality proofs, Ian Lynagh
  - Re: [Coq-Club] Depenednt types and equality proofs, Taral