On Monday, 29 August 2022 at 02:58:33 UTC, zjh wrote: > On Sunday, 28 August 2022 at 10:37:03 UTC, Mike Parker wrote: > >> Compilation speed is less dependent on file size and more >> dependent on the `number of files`. > > Isn't that `strange`? If so, split the files for `editing` and merge them for `compiling`.