Skip to content

Treat uncurried application of primitives like curried application#5851

Merged
cristianoc merged 1 commit intomasterfrom
uncurried_primitives
Nov 26, 2022
Merged

Treat uncurried application of primitives like curried application#5851
cristianoc merged 1 commit intomasterfrom
uncurried_primitives

Commits

Commits on Nov 26, 2022