From e23fbeda9d9527d61ef551dadee8d69cb0b26345 Mon Sep 17 00:00:00 2001
From: Henri Dohmen <henridohmen@posteo.com>
Date: Thu, 30 Oct 2025 16:35:15 +0100
Subject: [PATCH] more agda

---
 desktop/software/development.nix | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/desktop/software/development.nix b/desktop/software/development.nix
index a1cc184..54baa08 100644
--- a/desktop/software/development.nix
+++ b/desktop/software/development.nix
@@ -15,7 +15,7 @@ in
     documentation.dev.enable = true;
 
     environment.systemPackages = with pkgs; [
-      agda
+      (agda.withPackages (p: [ p.standard-library ]))
       binutils
       clang
       elan
@@ -33,9 +33,14 @@ in
     ];
 
     home = {
+      xdg.configFile = {
+        "agda/libraries".text = ''
+          ${pkgs.agdaPackages.standard-library}/standard-library.agda-lib
+        '';
+      };
       programs.emacs = {
         enable = true;
-        extraPackages = epkgs: with epkgs; [ agda2-mode ];
+        extraPackages = epkgs: [ epkgs.agda2-mode ];
         extraConfig = builtins.readFile ../../dotfiles/emacs/init.el;
       };
       programs.vscode = {