Skip to content

[WIP] Typecheck labeled tuple types and pats#5

Closed
rtjoa wants to merge 4 commits intolt-parse-types-and-patsfrom
lt-type-types-and-pats

Commits

Commits on Jun 26, 2023

Commits on Jun 27, 2023

Commits on Jun 28, 2023