agda-prelude-niss

agda/agda-prelude-niss.nix

@@ -0,0 +1,24 @@
+{ mkDerivation, fetchFromGitea, lib, standard-library }:
+let
+  src = fetchFromGitea {
+    domain = "git.rhiannon.website";
+    owner  = "rhi";
+    repo   = "agda-prelude";
+    rev    = "d4ad218f8355fdb07c6e544ae3b6bb98165e0a18";
+    hash   = "sha256-rm9IqbEIgiJp/bAEec0brxTMcdrvz0SkvT2TuZ0ubcw=";
+  };
+in
+mkDerivation {
+  pname = "agda-prelude-niss";
+  version = "0";
+
+  library-name = "prelude";
+  inherit src;
+  buildInputs = [ standard-library ];
+  buildPhase = ''
+    agda -i. Prelude.agda
+  '';
+
+  meta.description = "not _that_ agda prelude";
+  meta.license     = lib.licenses.wtfpl;
+}

flake.nix

@@ -26,6 +26,9 @@
       (name: pkg: pkgs.haskell.lib.justStaticExecutables pkg)
       (packagesInDir "haskell" [ "ips" ] pkgs.haskellPackages);
 
+    agdaLibs = pkgs:
+      (packagesInDir "agda" [ "agda-prelude-niss" ] pkgs.agdaPackages);
+
 
     makeApp = pkgs: name: exe: {
       inherit name;
@@ -48,7 +51,8 @@
     mkPackages = sys: pkgs:
       ifLinux64 sys (linuxPackages pkgs) //
       crossPlatformPackages pkgs // fonts pkgs //
-      haskellExes pkgs;
+      haskellExes pkgs //
+      agdaLibs pkgs;
 
     mkApps = sys: pkgs: ifLinux64 sys (linuxApps pkgs);
   in {