Prev: installing SPARK GPL on Windows
Next: Bug rate and choice of programming language
From: Ada novice on 10 Aug 2010 08:28
Thanks Hibou57 Yannick Duchêne for all this information.

Vous etes francophone si je ne me trompe pas et je vous remercie pour
toutes ces informations.

Cordialement
YC
From: Yannick Duchêne (Hibou57) on 10 Aug 2010 09:04
Le Tue, 10 Aug 2010 14:28:58 +0200, Ada novice <ycalleecharan(a)gmx.com> a
écrit:
> Vous etes francophone si je ne me trompe pas et je vous remercie pour
> toutes ces informations.
Yes I am (no body's perfect, and I would be the last). If you would like,
do you know there exist a french version of this news-group ?

news:fr.comp.lang.ada if you use a news reader
or
http://groups.google.com/group/fr.comp.lang.ada/topics
if you use Google Groups


--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
From: Ada novice on 10 Aug 2010 09:57
On Aug 10, 3:04 pm, Yannick Duchêne (Hibou57)
<yannick_duch...(a)yahoo.fr> wrote:
> do you know there exist a french version of this news-group ?
>
> news:fr.comp.lang.ada if you use a news reader
> orhttp://groups.google.com/group/fr.comp.lang.ada/topics
> if you use Google Groups

Thanks. I've read about it somewhere but never visited it until now
that you have provided a link. I stick to the English site assuming
that most interesting discussions will be posted here but I can see
now that the French site indeed have very interesting discussions
also. If I understand correctly, the French site is not a translation
of the present English site but it does contain distinct posts in
French.

Cordialement
YC
First  |  Prev  | 
Pages: 1 2
Prev: installing SPARK GPL on Windows
Next: Bug rate and choice of programming language