Skip to content

feat(language): a variable, a constraint and a cased expression declare their shape as dims, as a parameter does - #429

Merged
FBumann merged 1 commit into
mainfrom
feat/dims-everywhere
Sep 14, 2026
Merged

feat(language): a variable, a constraint and a cased expression declare their shape as dims, as a parameter does#429
FBumann merged 1 commit into
mainfrom
feat/dims-everywhere

feat(language): a variable, a constraint and a cased expression decla…

bc77542
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar