diff options
Diffstat (limited to 'home/config/dotfiles/venv-manager.nix')
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 8104674..248cb0c 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -3,6 +3,8 @@ { direnv.enable = lib.mkDefault true; + haskell = { spacemacs.enable = lib.mkDefault true; }; + latex = { packages = tl: { inherit (tl) @@ -23,7 +25,7 @@ ocaml.tuareg.enable = lib.mkDefault true; coq.coq = pkgs.coq_8_15; - # pkgs.coq_8_15.override { buildIde = false; }; + # pkgs.coq_8_15.override { buildIde = false; }; why3 = { defaultEditor = "emacsclient -c"; |