2022 Developer Survey is open! Take survey.

New answers tagged

4 votes

"Spurious" Type Equivalences in MLSub/Algebraic Subtyping

I'm late to the party, but I'd like to make a small clarification. I did not really mean that MLsub has "too many" type equivalences. As explained in the same section of the Simple-sub paper ...
user avatar

Top 50 recent answers are included