{pkgs, ...}: {
  extraPackagesAfter = with pkgs; [idris2Packages.idris2Lsp];
  lsp.servers.idris2 = {
    enable = true;
  };
  youthlic.plugins.idris2 = {
    enable = true;
  };
}