{ lib, ... }:

{
  direnv.enable = lib.mkDefault true;
  pinDerivations.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;

  why3 = {
    defaultEditor = "emacsclient -c";
    extraConfig = ''
      [prover]
      editor = ""
      name = "Coq"
      version = "8.13.2"
    '';
  };
}