From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,57cbb9f13783fe0a X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.88.200 with SMTP id bi8mr3473754pab.27.1355218704995; Tue, 11 Dec 2012 01:38:24 -0800 (PST) Path: s9ni39241pbb.0!nntp.google.com!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Re: Ada - In Strong Typing We Trust - redesigned 2012 "coin" Followup-To: comp.lang.ada Date: Tue, 11 Dec 2012 09:38:19 +0000 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Injection-Info: mx04.eternal-september.org; posting-host="2a5d6fb105b6730bdbc5ec48c6e18f59"; logging-data="18235"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18mbT/jEW1f2HYyFRwks3sLhjYmHeMHBvo=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin) Cancel-Lock: sha1:jds2v4loQCC/Cq7BK4VKLoWPlJY= sha1:tSCio0G2golhy551L3tgnLmTShs= Content-Type: text/plain Date: 2012-12-11T09:38:19+00:00 List-Id: dirk@vana.cs.kuleuven.be. (Dirk Craeynest) writes: > Ada - In Strong Typing We Trust - redesigned 2012 "coin" versions Excellent!