coq-club AT inria.fr

Subject: The Coq mailing list

List archive

strings in coq

From: Vincent Cremet <Vincent.Cremet AT lri.fr>
To: coq-club AT pauillac.inria.fr
Subject: strings in coq
Date: Fri, 21 Jul 2000 17:14:04 +0200 (MET DST)

Dear all,

I would like to manipulate strings in Coq as in any other
language :

Definition s := "Hello".

Does there exist a formalization of strings in Coq and a pretty
parsing and printing ?

Thank you in advance,

Vincent.

strings in coq, Vincent Cremet
- Re: strings in coq, Hugo Herbelin