Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Miscellaneous articles. The readme is the table of contents.

Minimal implementations for dependent type checking and elaboration

Nix Flakes with a modified frontend, by dramforever