2 ms·
Why is Damas dropped when referring to HM type inference? Not being critical, just genuinely curious. I imagine there's a good reason.
by atrudeau 6y ago
Why is Damas dropped when referring to HM type inference? Not being critical, just genuinely curious. I imagine there's a good reason.