Skip to content

Include generic arguments when suggesting a closure η-reduction #429

Include generic arguments when suggesting a closure η-reduction

Include generic arguments when suggesting a closure η-reduction #429

conclusion_changelog

succeeded Jan 29, 2025 in 0s