Thanks for considering contributing to Dinwiddy!
It may interest those using Nix to develop Dinwiddy, that we use the idris2-pkgs
Cachix cache to eliminate rebuilding all of Idris. With cachix
installed, running the following will enable cached builds:
cachix use cm-idris2-pkgs
For more information, see claymager/idris2-pkgs.