3 ms·
A gradual inferred type system that is both sound and fast :) a dream come true honestly. I hope it works out.
by weatherlight 3y ago
A gradual inferred type system that is both sound and fast :) a dream come true honestly. I hope it works out.