{ config, lib, pkgs, ... }: {
  # List packages installed in system profile. To search by name, run:
  # $ nix-env -qaP | grep wget
  environment.systemPackages = with pkgs; [
    ((emacsPackagesFor emacs).emacsWithPackages (epkgs:
      with epkgs; [
        melpaStablePackages.pdf-tools
        proof-general
        vterm
        exwm
        emacsql
        emacsql-sqlite
        pkgs.libvterm
        pkgs.clang-tools
      ]))
    discount
    jetbrains.goland
    #    jetbrains.idea-ultimate-2020_3
    # jetbrains.idea-ultimate
    # jetbrains.pycharm-professional
    jetbrains.mps
    leo-editor
    vim
    #    vscode
    #    vscode-utils
  ];

  # nixpkgs.overlays = [
  #    (self: super:
  #      let unstable = builtins.fetchTarball https://github.com/nixos/nixpkgs-channels/archive/nixos-unstable.tar.gz; in {
  #        emacs = (import unstable { }).emacs;
  #      }
  #    )
  #  ];
}
