Skip to content

Refactor Tree parameterization, with tweaks#16301

Merged
odersky merged 2 commits intoscala:mainfrom
dwijnand:Trees-Untyped-cov
Nov 8, 2022

Commits

Commits on Nov 8, 2022