Repository navigation

Keep more of the compiler concretely typed - #1053

Merged

maleadt merged 2 commits into

tb/invalidationsfrom

tb/invalidations-2

Oct 22, 2026

Merged

Keep more of the compiler concretely typed#1053
maleadt merged 2 commits into
tb/invalidationsfrom
tb/invalidations-2

Commits on Oct 21, 2026
- Keep more of the compiler concretely typed
  maleadt
  committed
  b74be2a
- Metal: Type the words of argument type names concretely
  maleadt
  committed
  03a1ab5