Skip to content

Inline uncurried application when it is safe#5847

Merged
cristianoc merged 2 commits intomasterfrom
inline_uncurried_application
Nov 25, 2022
Merged

Inline uncurried application when it is safe#5847
cristianoc merged 2 commits intomasterfrom
inline_uncurried_application

Commits