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
Merged

Remove errors for curried application of uncurried functions.#5890
cristianoc merged 1 commit intomasterfrom
no_curried_apply_error

Commits

Commits on Dec 8, 2022