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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.68.196.169 with SMTP id in9mr24366926pbc.2.1447673144167; Mon, 16 Nov 2015 03:25:44 -0800 (PST) X-Received: by 10.182.196.9 with SMTP id ii9mr309249obc.7.1447673144088; Mon, 16 Nov 2015 03:25:44 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!us.feeder.erje.net!enother.net!enother.net!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!i2no3591714igv.0!news-out.google.com!l1ni6180igd.0!nntp.google.com!i2no3591711igv.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 16 Nov 2015 03:25:43 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.216.245.129; posting-account=21X1fwoAAABfSGdxRzzAXr3Ux_KE3tHr NNTP-Posting-Host: 82.216.245.129 References: <14533506-4289-4148-b8c4-e970f5778b26@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Haskell, anyone? From: Hadrien Grasland Injection-Date: Mon, 16 Nov 2015 11:25:44 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 1657 X-Received-Body-CRC: 723892399 Xref: news.eternal-september.org comp.lang.ada:28400 Date: 2015-11-16T03:25:43-08:00 List-Id: Le lundi 16 novembre 2015 12:19:01 UTC+1, Simon Wright a =E9crit=A0: > > you still are far from having perfect assurance that your program is > > incorrect. >=20 > All programs are incorrect > This is a program > Therefore it is incorrect > QED Hah, good catch :) Caught a couple similar typo here and there while re-rea= ding, I've really become WAY too much used to having "Edit" buttons on all = communication channels I use.