From: Simon Wright <simon@pushface.org>
Subject: Re: My Invention of "Bug Sort".
Date: Fri, 22 Jun 2012 22:16:58 +0100
Date: 2012-06-22T22:16:58+01:00 [thread overview]
Message-ID: <m2sjdnyrlh.fsf@pushface.org> (raw)
In-Reply-To: js2l1n$bvs$1@munin.nbi.dk
"Randy Brukardt" <randy@rrsoftware.com> writes:
> Or, if you want a directly relevant reference, see A.18(3-4/2) in Ada
> 2005 or Ada 2012.
>
> http://www.ada-auth.org/standards/12rm/html/RM-A-18.html#p3
I notice http://www.ada-auth.org/standards/12rm/html/RM-A-18.html#p5 -
the last part of this is very terse. Wikipedia suggests that "(or both)"
should be added. But I'm still baffled; and this paragraph appears to be
for users, not implementers!
next prev parent reply other threads:[~2012-06-22 21:16 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-19 7:13 My Invention of "Bug Sort" Austin Obyrne
2012-06-19 11:55 ` Peter C. Chapin
2012-06-19 13:01 ` Austin Obyrne
2012-06-19 22:39 ` ggsub
2012-06-20 8:32 ` Austin Obyrne
2012-06-20 19:45 ` ggsub
2012-06-20 10:57 ` Austin Obyrne
2012-06-20 12:47 ` Manuel Collado
2012-06-20 12:51 ` Manuel Collado
2012-06-20 13:13 ` Manuel Collado
2012-06-20 15:17 ` Austin Obyrne
2012-06-22 20:31 ` Randy Brukardt
2012-06-20 19:38 ` ggsub
2012-06-20 23:59 ` Austin Obyrne
2012-06-21 1:17 ` Jeffrey R. Carter
2012-06-21 5:13 ` Simon Wright
2012-06-21 7:23 ` Manuel Collado
2012-06-21 11:50 ` Austin Obyrne
2012-06-21 12:09 ` Dmitry A. Kazakov
2012-06-22 20:37 ` Randy Brukardt
2012-06-22 21:16 ` Simon Wright [this message]
2012-06-26 22:29 ` Randy Brukardt
2012-06-28 19:05 ` Niklas Holsti
2012-07-03 2:05 ` Randy Brukardt
2012-06-28 20:59 ` Simon Wright
2012-07-03 2:11 ` Randy Brukardt
2012-07-03 9:47 ` Simon Wright
2012-06-21 18:45 ` Jeffrey Carter
2012-06-22 6:52 ` Austin Obyrne
2012-06-21 15:10 ` Adam Beneschan
2012-06-21 18:24 ` Jeffrey Carter
2012-06-21 7:24 ` Austin Obyrne
2012-06-19 22:56 ` Martin Trenkmann
2012-06-20 0:11 ` robin.vowels
2012-06-20 8:51 ` Austin Obyrne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox