coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Happy Chinese new year (Rooster = Coq)!

From: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Happy Chinese new year (Rooster = Coq)!
Date: Sat, 28 Jan 2017 10:26:52 +0100

Today is the Chinese new year day. Happy Chinese new year !
It is the year of the Rooster, Coq in French, i.e. our year!
Next Coq year in 2029.

--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/

[Coq-Club] Happy Chinese new year (Rooster = Coq)!, Daniel de Rauglaudre, 01/28/2017