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.66.163.131 with SMTP id yi3mr13312563pab.34.1428518359749;
        Wed, 08 Apr 2015 11:39:19 -0700 (PDT)
X-Received: by 10.140.93.226 with SMTP id d89mr283538qge.38.1428518359434;
 Wed, 08 Apr 2015 11:39:19 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!l13no2652116iga.0!news-out.google.com!a41ni21qgf.1!nntp.google.com!z60no381258qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 8 Apr 2015 11:39:19 -0700 (PDT)
In-Reply-To: <22562651-ba2f-46e9-82e4-52a992eda7dd@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=87.91.37.131;
 posting-account=hya6vwoAAADTA0O27Aq3u6Su3lQKpSMz
NNTP-Posting-Host: 87.91.37.131
References: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com>
 <1miph3v72f4y2$.1u76w2ujg74zf$.dlg@40tude.net>
 <c7db12c1-10fa-40ee-a2df-ff8a8b2177bc@googlegroups.com>
 <22562651-ba2f-46e9-82e4-52a992eda7dd@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <fe8a3d90-8317-4136-823a-76a59c1cab84@googlegroups.com>
Subject: Re: BDD package in Ada.
From: vincent.diemunsch@gmail.com
Injection-Date: Wed, 08 Apr 2015 18:39:19 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:25472
Date: 2015-04-08T11:39:19-07:00
List-Id: <comp.lang.ada>

Le mercredi 8 avril 2015 14:25:37 UTC+2, jan.de...@gmail.com a =E9crit=A0:
> Hallo,
> Here is a link to Knuth's musings on the subject:
>=20
> http://www.cs.utsa.edu/~wagner/knuth/fasc1b.pdf
>=20
> There is some youtube thing around as well.
>=20
> Cheers,
> j.

Thank you for the link. It sounds very interesting. Is it free to read it ?
Kind regards,

Vincent