From 075400815245565967d4633d6f50f539eb502dbd Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 14 Apr 2025 20:35:51 +0200
Subject: [PATCH] agda-prelude-niss

---
 agda/agda-prelude-niss.nix | 24 ++++++++++++++++++++++++
 flake.nix                  |  6 +++++-
 2 files changed, 29 insertions(+), 1 deletion(-)
 create mode 100644 agda/agda-prelude-niss.nix

diff --git a/agda/agda-prelude-niss.nix b/agda/agda-prelude-niss.nix
new file mode 100644
index 0000000..3dafdaa
--- /dev/null
+++ b/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;
+}
diff --git a/flake.nix b/flake.nix
index b408f72..833e876 100644
--- a/flake.nix
+++ b/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 {