coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] lists in Type

From: "Carlos.SIMPSON" <carlos AT math.unice.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] lists in Type
Date: Wed, 17 Apr 2002 15:50:18 -0200

Hi. Is there a standard library for lists with values in A where A
: Type rather than A: Set?
---Carlos Simpson

-------------------
To unsubscribe, mail
coq-club-request AT pauillac.inria.fr
Bug reports: http://coq.inria.fr/bin/coq-bugs
Coq-Club Archives: http://coq.inria.fr/mailing-lists/coqclub/

[Coq-Club] lists in Type, Carlos.SIMPSON
- Re: [Coq-Club] lists in Type, Jean-Christophe Filliatre