Repository navigation

Show states of named sets by their set in state hints and declared-here - #517

Merged

CatarinaGamboa merged 4 commits into

mainfrom

feat/515-hint-set-notation

Nov 10, 2026

Merged

Show states of named sets by their set in state hints and declared-here#517
CatarinaGamboa merged 4 commits into
mainfrom
feat/515-hint-set-notation

Commits on Nov 10, 2026
- Show states of named sets by their set in state hints and declared-here
  
  CatarinaGamboa
  and
  claude
  committed
  6dd421a
- Keep the shorthand for a set name that sets of different classes share
  
  CatarinaGamboa
  and
  claude
  committed
  9a1d86c
- Show states in hints in the headline's form, with the receiver
  
  CatarinaGamboa
  and
  claude
  committed
  e2ce936
- Find the states the declaration explains in its AST, not its text
  
  CatarinaGamboa
  and
  claude
  committed
  361d463