The Coq mailing list

[Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>]

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

There are no such lists in the Coq standard library.

If you  write such a  library, we may  consider integrating it  in the
standard library.

Best regards,
-- 
Jean-Christophe Filliâtre (http://www.lri.fr/~filliatr)

-------------------
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/