Skip to content

Do not force type constructors to be injective#4259

Open
nikswamy wants to merge 29 commits into
masterfrom
_core_vs_rel
Open

Do not force type constructors to be injective#4259
nikswamy wants to merge 29 commits into
masterfrom
_core_vs_rel

fix bad merge

814b5c0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar