Repository navigation

Show existential types as $a and name their constructor - #9080

Open

cknitt wants to merge 3 commits into

fix-9068-existential-names

Open

Show existential types as $a and name their constructor#9080
cknitt wants to merge 3 commits into
masterfrom
fix-9068-existential-names

Commits on Oct 29, 2026
- Show existential types as $a and name their constructor
  
  cknitt
  and
  claude
  committed
  5aa9c7a
- Give distinct existential types distinct names
  
  cknitt
  and
  claude
  committed
  30a1a6a
- Key existential constructors by identifier
  
  cknitt
  and
  claude
  committed
  139986d