Skip to content

Rename the named-dimension interface and make construction strict - #264

Merged
mtfishman merged 7 commits into
mainfrom
mf/interface-renames
Sep 27, 2026
Merged

mtfishman merged 7 commits into
mainfrom
mf/interface-renames

Commits

Commits on Sep 26, 2026

Commits on Sep 27, 2026