Skip to content

Print exotic identifiers properly when completing polyvariants - #870

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

zth merged 5 commits into
masterfrom
fix-printing-exotic-polyvar-constructors

Commits

Commits on Dec 18, 2023