1 files changed, 39 insertions, 0 deletions
diff --git a/modules/home-manager/personal/dotfiles/venv-manager.nix b/modules/home-manager/personal/dotfiles/venv-manager.nix
new file mode 100644
index 0000000..248cb0c
--- /dev/null
+++ b/modules/home-manager/personal/dotfiles/venv-manager.nix
@@ -0,0 +1,39 @@
+{ config, lib, pkgs, ... }:
+
+{
+  direnv.enable = lib.mkDefault true;
+
+  haskell = { spacemacs.enable = lib.mkDefault true; };
+
+  latex = {
+    packages = tl: {
+      inherit (tl)
+        scheme-basic # scheme
+        koma-script ragged2e everysel footmisc # koma
+      ;
+    };
+    latexmk = {
+      enable = lib.mkDefault true;
+      output.pdf.enable = lib.mkDefault true;
+      rc =
+        lib.optional (lib.pathExists ~/.config/latexmkrc) ~/.config/latexmkrc;
+    };
+  };
+
+  nix.enable = lib.mkDefault true;
+
+  ocaml.tuareg.enable = lib.mkDefault true;
+
+  coq.coq = pkgs.coq_8_15;
+  # pkgs.coq_8_15.override { buildIde = false; };
+
+  why3 = {
+    defaultEditor = "emacsclient -c";
+    extraConfig = lib.optionalString config.coq.enable ''
+      [prover]
+      editor = ""
+      name = "Coq"
+      version = "8.15+rc1"
+    '';
+  };
+}