467 current 2025-07-05 02:29:50 25.05.20250424.f771eb4 6.12.24 *

home/programs/emacs/cfg/init.el

@@ -3,6 +3,9 @@
 (setq doom-leader-key      ","   ;; global leader
       doom-localleader-key ",")    ;; local-leader
 
+(setq x-super-keysym 'meta
+      x-meta-keysym  'alt)
+
 ;; This file controls what Doom modules are enabled and what order they load
 ;; in. Remember to run 'doom sync' after modifying it!
 

home/programs/emacs/default.nix

@@ -7,7 +7,10 @@
   doomPath = "/home/synchronous/nix-cfg/home/programs/emacs/cfg";
 in {
   # https://nixos-and-flakes.thiscute.world/best-practices/accelerating-dotfiles-debugging
-  xdg.configFile."doom".source = config.lib.file.mkOutOfStoreSymlink doomPath;
+  xdg.configFile."doom" = {
+    source = config.lib.file.mkOutOfStoreSymlink doomPath;
+    recursive = true;
+  };
 
   programs.emacs = {
     enable = true;
@@ -57,9 +60,15 @@ in {
     libtool
 
     # emacsPackages.agda-input
+    agda
     emacsPackages.agda2-mode
     emacsPackages.agda-editor-tactics
 
+    # coq
+    coq_8_19
+
+    # lean4
+
     ## Doom dependencies
     (ripgrep.override {withPCRE2 = true;})
     gnutls