fix: do not add index to single-index indexing (e.g. a_i[N])#132
Merged
martinjrobins merged 1 commit intomainfrom May 9, 2026
Merged
fix: do not add index to single-index indexing (e.g. a_i[N])#132martinjrobins merged 1 commit intomainfrom
martinjrobins merged 1 commit intomainfrom