Skip to content

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

Merged
cknitt merged 3 commits into
masterfrom
fix-9068-existential-names
Oct 29, 2026
Merged

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

Key existential constructors by identifier

139986d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar