ParentFull threadkvakil·Maybe take a look at gg [0]? It seems to solve the problem of slow compilation quite nicely.[0] https://github.com/StanfordSNR/ggView on HN