From: Shark8 <onewingedshark@gmail.com>
Subject: Re: SPARK problem with unconstrained arrays
Date: Fri, 13 Mar 2015 15:15:48 -0700 (PDT)
Date: 2015-03-13T15:15:48-07:00 [thread overview]
Message-ID: <c1d430ed-09dd-43bb-ac9b-756de5c16803@googlegroups.com> (raw)
In-Reply-To: <01197172-98dd-4e30-ad37-494ded69bded@googlegroups.com>
> A'Length introduces new name and one constant into the whole mix, but indeed might be easier to read.
I prefer A'Length in Positive.
next prev parent reply other threads:[~2015-03-13 22:15 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-03 9:29 SPARK problem with unconstrained arrays Maciej Sobczak
2015-03-03 9:41 ` Maciej Sobczak
2015-03-04 21:31 ` Jacob Sparre Andersen
2015-03-04 22:31 ` Maciej Sobczak
2015-03-13 22:15 ` Shark8 [this message]
2015-03-24 23:03 ` phil.clayton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox