comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: SPARK prooving an array of Positives.
Date: Fri, 2 Aug 2019 12:16:31 -0700 (PDT)
Date: 2019-08-02T12:16:31-07:00	[thread overview]
Message-ID: <83eff5eb-8362-4cc3-9a40-5273a591acca@googlegroups.com> (raw)
In-Reply-To: <a90b135f-6f60-4452-b5ed-beafe92caaba@googlegroups.com>

On Tuesday, July 30, 2019 at 10:20:51 PM UTC-6, Brad Moore wrote:
Thank you so much for your help; the explanation is by far the most valuable part.

PS -- I'm impressed about you knowing this was WRT a FITS library.


  reply	other threads:[~2019-08-02 19:16 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-07-30 16:35 SPARK prooving an array of Positives Shark8
2019-07-31  0:18 ` Anh Vo
2019-07-31  4:20 ` Brad Moore
2019-08-02 19:16   ` Shark8 [this message]
2019-08-02  0:02 ` Optikos
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox