2 ms·I wouldn't exactly consider files "type-checked" thoughby vanderZwan 5y agoI wouldn't exactly consider files "type-checked" though