Skip to content

Treat @meth annotation as making the type uncurried.#5845

Merged
cristianoc merged 1 commit intomasterfrom
meth_annotation
Nov 24, 2022

Commits

Commits on Nov 24, 2022