Skip to content

Fix partial application generalization for ...#8343

Merged
cknitt merged 2 commits intomasterfrom
alpha.4
Apr 12, 2026
Merged

Fix partial application generalization for ...#8343
cknitt merged 2 commits intomasterfrom
alpha.4

Commits

Commits on Apr 12, 2026