3 ms·
The type system is still in development so we haven't seen what the end result is yet, but I believe the system they're implementing is going to be sound.
by lawn 2y ago
The type system is still in development so we haven't seen what the end result is yet, but I believe the system they're implementing is going to be sound.