about summary refs log tree commit diff
path: root/users/grfn/system/home/modules/development/agda.nix
diff options
context:
space:
mode:
Diffstat (limited to 'users/grfn/system/home/modules/development/agda.nix')
-rw-r--r--users/grfn/system/home/modules/development/agda.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/users/grfn/system/home/modules/development/agda.nix b/users/grfn/system/home/modules/development/agda.nix
index bed05693aa40..afd22a306dc9 100644
--- a/users/grfn/system/home/modules/development/agda.nix
+++ b/users/grfn/system/home/modules/development/agda.nix
@@ -51,8 +51,8 @@ in
   '';
 
   home.file.".agda/libraries".text = ''
-    ${config.home.homeDirectory}/code/agda-stdlib/standard-library.agda-lib
-    ${config.home.homeDirectory}/code/agda-categories/agda-categories.agda-lib
+    /home/grfn/code/agda-stdlib/standard-library.agda-lib
+    /home/grfn/code/agda-categories/agda-categories.agda-lib
   '';
 
 }