Skip to content

Remove desugared record classes#114

Closed
ah-OOG-ah wants to merge 3 commits intomasterfrom
dedesugar
Closed

Remove desugared record classes#114
ah-OOG-ah wants to merge 3 commits intomasterfrom
dedesugar

Commits

Commits on Dec 23, 2025

Comments