break out an agda.nix

3 files changed, 62 insertions, 4 deletions

diff --git a/home/modules/development.nix b/home/modules/development.nix
index 04c672539f..39e964d1da 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; })
diff --git a/home/modules/development/agda.nix b/home/modules/development/agda.nix
new file mode 100644
index 0000000000..7a197e907f
--- /dev/null
+++ b/home/modules/development/agda.nix
@@ -0,0 +1,61 @@
+{ config, lib, pkgs, ... }:
+
+let
+
+  nixpkgs-unstable = import <nixpkgs-unstable> {};
+
+  agda-categories = with nixpkgs-unstable.agdaPackages; mkDerivation rec {
+    pname = "agda-categories";
+    version = "2128fab";
+    src = pkgs.fetchFromGitHub {
+      owner = "agda";
+      repo = "agda-categories";
+      rev = version;
+      sha256 = "08mc20qaz9vp5rhi60rh8wvjkg5aby3bgwwdhfnxha1663qf1q24";
+    };
+
+    buildInputs = [ standard-library ];
+  };
+
+in
+
+{
+  imports = [
+    ../lib/cloneRepo.nix
+  ];
+
+  home.packages = with pkgs; [
+    (nixpkgs-unstable.agda.withPackages
+      (p: with p; [
+        p.standard-library
+
+      ]))
+  ];
+
+  grfn.impure.clonedRepos = {
+    agda-stdlib = {
+      github = "agda/agda-stdlib";
+      path = "code/agda-stdlib";
+    };
+
+    agda-categories = {
+      github = "agda/agda-categories";
+      path = "code/agda-categories";
+    };
+
+    categories-examples = {
+      github = "agda/categories-examples";
+      path = "code/categories-examples";
+    };
+  };
+
+  home.file.".agda/defaults".text = ''
+    standard-library
+  '';
+
+  home.file.".agda/libraries".text = ''
+    ${config.home.homeDirectory}/code/agda-stdlib/standard-library.agda-lib
+    ${config.home.homeDirectory}/code/agda-categories/agda-categories.agda-lib
+  '';
+
+}
diff --git a/home/modules/emacs.nix b/home/modules/emacs.nix
index b6b8994638..3f82880d2b 100644
--- a/home/modules/emacs.nix
+++ b/home/modules/emacs.nix
@@ -21,8 +21,6 @@ in {
   config = mkMerge [
     {
       home.packages = with pkgs; [
-        haskellPackages.Agda 
-
         # LaTeX (for org export)
         (pkgs.texlive.combine {
           inherit (pkgs.texlive)