From 93d8144c50b916ba707d29c8ff96d7327caf760e Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Sat, 11 Nov 2023 22:18:59 +0100
Subject: [PATCH] idris tooling

---
 home/rachel.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/home/rachel.nix b/home/rachel.nix
index 07ad870..fe507ec 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -78,6 +78,7 @@ in
       sage
       typst
       ttyper
+      idris2
     ];
     stateVersion = "23.05";
   };
@@ -232,7 +233,7 @@ in
         tmux-nvim
         cornelis-vim
         nvim-lspconfig
-        magma-nvim-goose
+        idris2-vim
       ];
     };