                       auto-completion-complete-with-key-sequence "jk")
      asm
      c-c++
+     coq
      csv
      emacs-lisp
      finance

  (with-eval-after-load 'cc-mode
    (add-to-list 'c-default-style '(c-mode . "k&r")))

  ;; Auto-reload files in `doc-mode'
  (add-hook 'doc-view-mode-hook 'auto-revert-mode)



   ;; `c-c++' layer
   c-basic-offset 4

   ;; `coq' layer
   coq-accept-proof-using-suggestion 'never ; Disable "Proof using" suggestions
   coq-compile-before-require t ; Enable auto-compilation of imports

   ;; `finance' layer (`ledger-mode')
   ;; Set up for hledger instead of ledger
