Skip to content

Gradual mode: publish where type information reaches - #211

Merged
philiplindberg merged 27 commits into
mainfrom
gradual-mode
Aug 5, 2026
Merged

Gradual mode: publish where type information reaches#211
philiplindberg merged 27 commits into
mainfrom
gradual-mode

A projection's shape is a name, not just a value

920b373
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar