Proposed erratum text Bradley Lucier (16 Feb 2026 15:30 UTC)
Re: Proposed erratum text Bradley Lucier (18 Feb 2026 02:16 UTC)

Re: Proposed erratum text Bradley Lucier 18 Feb 2026 02:16 UTC

I sent a pull request.  Brad

On 2/16/26 10:30, Bradley Lucier wrote:
> I think a minimal change that would restore correctness would be
> something like
> ================
> The vectors of upper and lower bounds of an interval can have zero
> elements, in which case the zero-dimensional interval itself has no
> elements, but zero-dimensional arrays with this domain have getters and
> setters that take zero indices as arguments, and which return or set a
> single element, much like a Scheme box.
> ================
> to
> ================
> The vectors of upper and lower bounds of an interval can have zero
> elements; zero-dimensional arrays with this domain have getters and
> setters that take zero indices as arguments and return or set a single
> element, much like a Scheme box.
> ================
> This just gets rid of the incorrect phrase without trying to make a
> longer explanation.
>
> Brad