Skip to content
This repository was archived by the owner on Jun 1, 2026. It is now read-only.

Combine TypeCtor/ConstCtor and "ctor args" into a single TypeKind/ConstKind.#51

Merged
eddyb merged 4 commits into
mainfrom
unctor
Oct 27, 2023
Merged

Combine TypeCtor/ConstCtor and "ctor args" into a single TypeKind/ConstKind.#51
eddyb merged 4 commits into
mainfrom
unctor

Commits

Commits on Oct 26, 2023

Commits on Oct 27, 2023