3 ms·Separate compilation also enables easy parallelization of type checking.by choeger 1y agoSeparate compilation also enables easy parallelization of type checking.