Skip to content

Process uncurried application in the type checker.#5835

Merged
cristianoc merged 6 commits intomasterfrom
uncurried_application_in_type_checker
Nov 23, 2022

Commits

Commits on Nov 22, 2022

Commits on Nov 23, 2022