From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: ANN: SPARK: A red-black tree with correctness proofs
Date: Fri, 24 Feb 2012 16:52:34 +0100
Date: 2012-02-24T16:52:34+01:00 [thread overview]
Message-ID: <op.v96w1wxgule2fv@douda-yannick> (raw)
In-Reply-To: 4f47ab93$0$281$14726298@news.sunsite.dk
Le Fri, 24 Feb 2012 16:24:03 +0100, Thomas Løcke <tl@ada-dk.org> a écrit:
> On 02/24/2012 10:06 AM, Phil Thornley wrote:
>> The readme for the release is:
>> http://www.sparksure.com/resources/rb_tree_V0_1_ReadMe.txt
>
>
> I get a 404 for the ReadMe.txt.
Parked domain like page for me.
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
next prev parent reply other threads:[~2012-02-24 15:52 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-24 9:06 ANN: SPARK: A red-black tree with correctness proofs Phil Thornley
2012-02-24 15:24 ` Thomas Løcke
2012-02-24 15:52 ` Yannick Duchêne (Hibou57) [this message]
2012-02-24 16:01 ` Phil Clayton
2012-02-24 16:06 ` Simon Wright
2012-02-24 17:16 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox