Skip to content

[spec] Add exactness variables for principal types - #129

Merged
tlively merged 1 commit into
mainfrom
appendix-principal-types
Nov 5, 2026
Merged

[spec] Add exactness variables for principal types#129
tlively merged 1 commit into
mainfrom
appendix-principal-types

[spec] Add exactness variables for principal types

2218443
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar