From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Correction to previous post
Date: 1996/04/05
Date: 1996-04-05T00:00:00+00:00 [thread overview]
Message-ID: <dewar.828715485@schonberg> (raw)
In-Reply-To: adaworksDpB8CE.4F0@netcom.com
Richard, you posted:
with Text_IO;
procedure S is
J : Integer := 10;
begin
Text_IO.Put_Line(Integer'Image( (J * (J + 1)) / 2 );
end S;
I know you had lots of smileys, but I don't get the point of the joke.
Obviously the above program is trivially provable, as would be mine
if I fixed the obvious serious bug.
What's your point? I must be missing semething!
prev parent reply other threads:[~1996-04-05 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-04-03 0:00 Correction to previous post Robert Dewar
1996-04-03 0:00 ` Cordes MJ
1996-04-04 0:00 ` Robert Dewar
1996-04-03 0:00 ` AdaWorks
1996-04-05 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox