init.el

(load "~/.config/emacs/config")
(load "~/.config/emacs/secrets")

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(package-selected-packages
   '(boon modern-cpp-font-lock ledger-mode xenops compat cape vterm-toggle dirvish consult-eglot eldoc-box json-mode typescript-mode org-superstar cdlatex demo-it elcord laas aas hide-mode-line auctex-latexmk async bibtex-completion marginalia embark-consult embark consult orderless vertico flymake-shellcheck emmet-mode markdown-mode tree-sitter-langs tree-sitter vterm lua-mode hl-todo magit-delta eglot haskell-mode wgrep find-file-in-project olivetti terminal-here company-posframe docker-tramp dockerfile-mode csv-mode yaml-mode sml-mode org-plus-contrib imenu-list tuareg keyfreq org-make-toc exec-path-from-shell avy fcitx ibuffer-vc symbol-overlay htmlize evil-matchit alert proof-general general auctex hydra which-key evil-surround evil magit company-coq company use-package))
 '(safe-local-variable-values
   '((auto-save-visited-interval . 0)
     (dired-omit-extensions ".vo" ".vok" ".vos" ".aux" ".glob")
     (org-babel-use-quick-and-dirty-noweb-expansion . t))))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 )