ParentFull threadchoeger·Separate compilation also enables easy parallelization of type checking.View on HN