about summary refs log tree commit diff
path: root/home/modules/development.nix
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2020-06-15T15·54-0400
committerGriffin Smith <root@gws.fyi>2020-06-15T15·54-0400
commitf59e705eca2f3dc5a1cc7d9a9fad62ac67b95a04 (patch)
treed7bbb5773cc61c53f5b4ebf495752826cee639d8 /home/modules/development.nix
parent3c61742a3740a2f56433dd4334f15f735e523756 (diff)
break out an agda.nix
Diffstat (limited to 'home/modules/development.nix')
-rw-r--r--home/modules/development.nix3
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; })