3 ms·
> You can have types for One, Two, Three … Inf and then define division of type Four by type Two as type Two and so on That's not far from TypeScripts type sys
by zokier 3y ago
> You can have types for One, Two, Three … Inf and then define division of type Four by type Two as type Two and so on
That's not far from TypeScripts type system