Skip to content

Uncurry data constructor applications - #278

Merged
Unisay merged 4 commits into
mainfrom
issue-201/uncurry-ctors
Jul 15, 2026
Merged

Uncurry data constructor applications#278
Unisay merged 4 commits into
mainfrom
issue-201/uncurry-ctors

Commits

Commits on Jul 14, 2026