Skip to content

Equate a parameter with its argument only when the body never assigns it - #335

Open
coord-e wants to merge 2 commits into
mainfrom
claude/gifted-bohr-ls42w4
Open

coord-e wants to merge 2 commits into
mainfrom
claude/gifted-bohr-ls42w4

Commits

  1. Commits on Oct 12, 2026

  2. Commits on Oct 13, 2026