Repository navigation

From note: name an unrefined parameter as the unknown value's origin - #526

Merged

CatarinaGamboa merged 3 commits into

mainfrom

Nov 10, 2026

Merged

From note: name an unrefined parameter as the unknown value's origin#526
CatarinaGamboa merged 3 commits into
mainfrom
from-note-f3

Commits on Nov 10, 2026
- Say that an unrefined parameter is where an unknown value comes from
  
  CatarinaGamboa
  and
  claude
  committed
  7d5fa12
- Leave out the From note for an annotated or externally refined parameter
  
  CatarinaGamboa
  and
  claude
  committed
  eb81c8a
- Match a parameter's specification by its method's parameter types
  
  CatarinaGamboa
  and
  claude
  committed
  3c89e39