Skip to content

Fix issue with uncurried function with 1 arg being a variable#6507

Merged
cristianoc merged 1 commit intomasterfrom
uncurried_fun_1_arg
Dec 5, 2023
Merged

Fix issue with uncurried function with 1 arg being a variable#6507
cristianoc merged 1 commit intomasterfrom
uncurried_fun_1_arg

Commits

Commits on Dec 5, 2023