Skip to content

Eliminate class hierarchy in GadtConstraint#16194

Merged
dwijnand merged 3 commits intoscala:mainfrom dwijnand:GadtConstraint/eliminate-hierarchyOct 25, 2022
+61-124

Commits

Commits on Oct 15, 2022

Commits on Oct 17, 2022