Skip to content

Split eta-expansion from seal#7536

Merged
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:split-eta-expansion-from-seal
Nov 12, 2019

Commits

Commits on Nov 12, 2019