diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-09-25 14:13:11 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-09-25 14:13:11 +0200 |
| commit | 901e2047cd00089af8d79dcaefd181f4f8d7cfeb (patch) | |
| tree | cbc8225899a2804faacfbbb356cc5ae9ea717162 /home/config/dotfiles/venv-manager.nix | |
| parent | d6080ef128404a97a0b7dc1653b78260d473f159 (diff) | |
add support for hakyll
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"; |