Graph-based type-checking is a new F# compiler flag that allows the compiler to type-check files in a project in parallel whenever possible.