From d70854e41275b5df6000487f9ce332d4a6281c5d Mon Sep 17 00:00:00 2001
From: Henri Dohmen <henridohmen@posteo.com>
Date: Thu, 30 Oct 2025 14:50:56 +0100
Subject: [PATCH] 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 ef1b78a..a1cc184 100644
--- a/desktop/software/development.nix
+++ b/desktop/software/development.nix
@@ -15,10 +15,10 @@ in
     documentation.dev.enable = true;
 
     environment.systemPackages = with pkgs; [
+      agda
       binutils
       clang
       elan
-      emacs
       gcc
       gdb
       gnumake
@@ -33,7 +33,11 @@ in
     ];
 
     home = {
-      xdg.configFile."emacs/init.el".source = ../../dotfiles/emacs/init.el;
+      programs.emacs = {
+        enable = true;
+        extraPackages = epkgs: with epkgs; [ agda2-mode ];
+        extraConfig = builtins.readFile ../../dotfiles/emacs/init.el;
+      };
       programs.vscode = {
         enable = true;
         package = pkgs.vscodium;
@@ -42,6 +46,7 @@ in
           enableExtensionUpdateCheck = true;
           enableUpdateCheck = false;
           extensions = with pkgs.vscode-marketplace; [
+            banacorn.agda-mode
             dnut.rewrap-revived
             editorconfig.editorconfig
             james-yu.latex-workshop