{ config, pkgs, ... }:
{
  programs.emacs = {
    enable = true;
    package = pkgs.emacs;
    extraPackages = epkgs: with epkgs; [
      use-package
      vertico
      orderless
      marginalia
      consult
      which-key
      nix-mode
      eglot
    ];
  };
  home.file.".emacs.d/init.el".source = ../emacs/init.el;
  # home.file.".emacs.d/early-init.el".source = ../emacs/early-init.el;
}

{ config, pkgs, ... }:
let
  # qualified pkgs.agdaPackages as p
  myAgda = pkgs.agda.withPackages (p: [
    p.standard-library
    p.agda-prelude
    p.cubical
    p._1lab
    p.generics
  ]);
  als-src = pkgs.fetchFromGitHub {
    owner = "agda";
    repo = "agda-language-server";
    rev = "master";
    sha256 = "sha256-M1Emy8PQsZJ6VdEWBk/6id/nG+XKbXJ8kcs7kjeZA5A=";
  };
  hs = pkgs.haskellPackages.override {
    overrides = self: super: {
      network-simple = self.callHackage "network-simple" "0.4.2" { };
      # Disable test suit
      agda-language-server =
        pkgs.haskell.lib.dontCheck
          (self.callCabal2nix "agda-language-server" als-src { });
    };
  };
  agda-language-server = pkgs.writeShellScriptBin "agda-language-server" ''
    exec ${pkgs.lib.getExe hs.agda-language-server} "$@"
  '';
in
{
  home.packages = [
    myAgda
    hs.agda-language-server
  ];
  programs.direnv.enable = true;
  programs.direnv.nix-direnv.enable = true;
}

{ config, pkgs, ... }:
{
  # import external modules.
  imports = [
    ./modules/agda.nix
    ./modules/emacs.nix
  ];
  # Home Manager needs a bit of information about you and the paths it should
  # manage.
  home.username = "yuotsuka";
  home.homeDirectory = "/home/yuotsuka";
  # This value determines the Home Manager release that your configuration is
  # compatible with. This helps avoid breakage when a new Home Manager release
  # introduces backwards incompatible changes.
  #
  # You should not change this value, even if you update Home Manager. If you do
  # want to update the value, then make sure to first check the Home Manager
  # release notes.
  home.stateVersion = "25.11"; # Please read the comment before changing.
  # The home.packages option allows you to install Nix packages into your
  # environment.
  home.packages = [
    pkgs.zellij
    pkgs.git
    pkgs.pijul
    # # It is sometimes useful to fine-tune packages, for example, by applying
    # # overrides. You can do that directly here, just don't forget the
    # # parentheses. Maybe you want to install Nerd Fonts with a limited number of
    # # fonts?
    # (pkgs.nerdfonts.override { fonts = [ "FantasqueSansMono" ]; })
    # # You can also create simple shell scripts directly inside your
    # # configuration. For example, this adds a command 'my-hello' to your
    # # environment:
    # (pkgs.writeShellScriptBin "my-hello" ''
    #   echo "Hello, ${config.home.username}!"
    # '')
  ];
  # Home Manager is pretty good at managing dotfiles. The primary way to manage
  # plain files is through 'home.file'.
  home.file = {
    # # Building this configuration will create a copy of 'dotfiles/screenrc' in
    # # the Nix store. Activating the configuration will then make '~/.screenrc' a
    # # symlink to the Nix store copy.
    # ".screenrc".source = dotfiles/screenrc;
    # # You can also set the file content immediately.
    # ".gradle/gradle.properties".text = ''
    #   org.gradle.console=verbose
    #   org.gradle.daemon.idletimeout=3600000
    # '';
  };
  # Home Manager can also manage your environment variables through
  # 'home.sessionVariables'. These will be explicitly sourced when using a
  # shell provided by Home Manager. If you don't want to manage your shell
  # through Home Manager then you have to manually source 'hm-session-vars.sh'
  # located at either
  #
  #  ~/.nix-profile/etc/profile.d/hm-session-vars.sh
  #
  # or
  #
  #  ~/.local/state/nix/profiles/profile/etc/profile.d/hm-session-vars.sh
  #
  # or
  #
  #  /etc/profiles/per-user/yuotsuka/etc/profile.d/hm-session-vars.sh
  #
  home.sessionVariables = {
     EDITOR = "emacs";
  };
  # Let Home Manager install and manage itself.
  programs.home-manager.enable = true;
}

(setq inhibit-startup-message t)
(menu-bar-mode -1)
(tool-bar-mode -1)
(scroll-bar-mode -1)
(require 'use-package)
(setq use-package-always-ensure nil)
(use-package vertico
  :init (vertico-mode 1))
(use-package orderless
  :init
  (setq completion-styles '(orderless basic)
        completion-category-defaults nil
        completion-category-overrides '((file (styles partial-completion)))))
(use-package marginalia
  :init (marginalia-mode 1))
(use-package consult)
(use-package which-key
  :init (which-key-mode 1))
(use-package nix-mode
  :mode "\\.nix\\'")
(let ((hm-bin (expand-file-name "~/.nix-profile/bin")))
  (when (file-directory-p hm-bin)
    (add-to-list 'exec-path hm-bin)
    (setenv "PATH" (concat hm-bin ":" (getenv "PATH")))))
(let* ((agda-mode-el
        (string-trim
         (let ((coding-system-for-read 'utf-8))
           (shell-command-to-string "agda --emacs-mode locate")))))
  (when (and (stringp agda-mode-el) (file-readable-p agda-mode-el))
    (load-file agda-mode-el)))
(use-package eglot
  :config
  (add-to-list 'eglot-server-programs '(agda2-mode . ("als")))
  (add-to-list 'eglot-server-programs '(agda-mode  . ("als")))
  (add-hook 'agda2-mode-hook #'eglot-ensure)
  (add-hook 'agda-mode-hook  #'eglot-ensure))