Let a ghost term name generic- and `Self`-typed variables - #232

Merged

coord-e merged 3 commits into

mainfrom

claude/generic-parameter-self-reference-8ak4yh

Sep 3, 2026

Commits on Sep 2, 2026

Lift a formula into a formula function in one place
claude
committed
43b6320
Resolve a lifted formula function's receiver parameter in one place
claude
committed
77ff10a
Let a ghost term name generic- and `Self`-typed variables
claude
committed
26fc574