Re: should the default be lower bounds or upper bounds? Bradley J Lucier 12 Apr 2026 04:08 UTC

> On Apr 11, 2026, at 23:22, Peter McGoron <xxxxxx@mcgoron.com> wrote:
>
> #a i32 ((1 4) (1 4) (1 4) (1 4))

Perhaps these bounds should be (1 5).