{ config, pkgs, ... }:
{
  imports = [
    ./modules/agda.nix
    ./modules/helix.nix
    ./modules/haskell.nix
    ./modules/idris2.nix
    ./modules/lean.nix
    ./modules/tidal.nix
    ./modules/typst.nix
  ];

  home.username = "yuotsuka";
  home.homeDirectory = "/home/yuotsuka";
  home.stateVersion = "25.11";

  xdg.enable = true;
  fonts.fontconfig.enable = true;

  home.packages = with pkgs; [
    lsd
    curl
    git
    pijul
    zellij
    perf
    hotspot

    ipaexfont
    noto-fonts-color-emoji
    cascadia-code
    nerd-fonts.symbols-only
    font-awesome
    powerline-fonts
  ];

  home.file.".local/bin" = {
    source = ./bin;
    recursive = true;
  };

  xdg.configFile = {
    "helix" = { source = ./config/helix; recursive = true; };
    "zellij" = { source = ./config/zellij; recursive = true; };
  };

  home.sessionVariables = {
    EDITOR = "hx";
    PATH = "$PATH:$HOME/.local/bin";
  };

  programs.home-manager.enable = true;
}