{ config, pkgs, inputs, ... }:
let
  mymacs = config: # with inputs.emacs-overlay.packages.${pkgs.system}; already resolved with overlay
    with pkgs; emacsWithPackagesFromUsePackage {
      inherit config;
      package = emacs-pgtk;
      alwaysEnsure = true;
      alwaysTangle = true;
      extraEmacsPackages = epkgs: with epkgs; [
        use-package
        (epkgs.tree-sitter-langs.withPlugins (_: epkgs.tree-sitter-langs.plugins))
      ];
     /* override = {
        stm32-emacs = trivialBuild rec {
          pname = "stm32-emacs";
          version = haskellPackages.Agda.version;

          dontUnpack = true;

          # already byte-compiled by Agda builder
          buildPhase = ''
            agda=`${haskellPackages.Agda}/bin/agda-mode locate`
            cp `dirname $agda`/*.el* .
          '';
        };
      };*/
    };
in
{
  home.file = with config; {
    "config.org" = {
      source = ./config/emacs/config.org;
      target = "${home.homeDirectory}/.emacs.d/config.org";
    };
    "init.el" = {
      source = ./config/emacs/init.el;
      target = "${home.homeDirectory}/.emacs.d/init.el";
    };
  };
  programs.emacs = {
    enable = true;
    package = mymacs ./config/emacs/config.org;
  };
  services.emacs.enable = true;
}