Skip to content

New internal representation for uncurried types.#5870

Merged
cristianoc merged 20 commits intomasterfrom
different_uncurried_representation
Dec 8, 2022
Merged

New internal representation for uncurried types.#5870
cristianoc merged 20 commits intomasterfrom
different_uncurried_representation

Commits

Commits on Dec 8, 2022