idris tooling

2023-11-11 22:18:59 +01:00 · 2023-11-11 22:18:59 +01:00 · 93d8144c50
parent 17212228f8
commit 93d8144c50
1 changed files with 2 additions and 1 deletions
--- 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
      ];
    };