Skip to content

Synthesise Mirror.Sum for nested hierarchies#11686

Merged
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:nested-sums
Aug 17, 2021
Merged

Synthesise Mirror.Sum for nested hierarchies#11686
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:nested-sums

Commits

Commits on Aug 17, 2021