nixpkgs/pkgs/development/compilers/idris2
..
default.nix