diff options
Diffstat (limited to 'home/modules/development.nix')
| -rw-r--r-- | home/modules/development.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/home/modules/development.nix b/home/modules/development.nix index 04c672539fff..39e964d1da3e 100644 --- a/home/modules/development.nix +++ b/home/modules/development.nix @@ -32,6 +32,7 @@ with lib; ./lib/zshFunctions.nix ./development/kube.nix ./development/urbint.nix + ./development/agda.nix ]; home.packages = with pkgs; [ @@ -48,8 +49,6 @@ with lib; clj2nix - haskellPackages.Agda - AgdaStdlib pg-dump-upsert (import ../pkgs/clang-tools { inherit pkgs; }) |