add support for hakyll

2 files changed, 10 insertions, 4 deletions

diff --git a/home/config/dotfiles/spacemacs b/home/config/dotfiles/spacemacs
index dd1db18..e1c02c5 100644
--- a/home/config/dotfiles/spacemacs
+++ b/home/config/dotfiles/spacemacs
@@ -43,11 +43,8 @@ This function should only modify configuration layer settings."
      ;; eww
      git
      helm
-     javascript
      ;; lsp
      multiple-cursors
-     nixos
-     org
      ;; (shell :variables
      ;;        shell-default-height 30
      ;;        shell-default-position 'bottom)
@@ -61,8 +58,12 @@ This function should only modify configuration layer settings."
      csv
      emacs-lisp spacemacs-misc
      go
+     (haskell :variables haskell-enable-hindent-style "fundamental")
+     html javascript
      latex
      markdown
+     nixos
+     org
      ocaml coq
      php
      python
@@ -597,6 +598,9 @@ before packages are loaded."
 
    ;; don't pop warning buffer on native comp
    '(native-comp-async-report-warnings-errors 'silent)
+
+   ;; restrict which warnings are shown
+   '(warning-minimum-level :emergency)
    )
 
   ;; auto-completion
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";