Skip to content

Print exotic identifiers properly when completing polyvariants#870

Merged
zth merged 5 commits intomasterfrom
fix-printing-exotic-polyvar-constructors
Dec 18, 2023
Merged

Print exotic identifiers properly when completing polyvariants#870
zth merged 5 commits intomasterfrom
fix-printing-exotic-polyvar-constructors

Commits

Commits on Dec 18, 2023