Skip to content

Remove errors for curried application of uncurried functions.#5890

Merged
cristianoc merged 1 commit intomasterfrom
no_curried_apply_error
Dec 8, 2022

Commits

Commits on Dec 8, 2022