Repository navigation

fix: export Ranked from the prelude - #1621

Merged

akern40 merged 2 commits into

Oct 19, 2026

Merged

fix: export Ranked from the prelude#1621
akern40 merged 2 commits into
refactorfrom
ranked-prelude

Commits on Oct 18, 2026
- fix: export Ranked from the prelude
  
  akern40
  and
  devin-ai-integration[bot]
  committed
  930501c
- test: drop ndim_via_prelude test
  
  akern40
  and
  devin-ai-integration[bot]
  committed
  27a3444