From 901e2047cd00089af8d79dcaefd181f4f8d7cfeb Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sun, 25 Sep 2022 14:13:11 +0200
Subject: add support for hakyll

---
 home/config/dotfiles/venv-manager.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'home/config/dotfiles/venv-manager.nix')

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";
-- 
cgit v1.2.3