(setq undo-tree-mode-lighter ""))
#+end_src
+* Syntax and spell checking
+#+begin_src emacs-lisp
+(use-package flycheck
+ :hook (prog-mode . flycheck-mode)
+ :config
+ ;; Use the load-path from running Emacs when checking elisp files
+ (setq flycheck-emacs-lisp-load-path 'inherit)
+
+ ;; Only flycheck when I actually save the buffer
+ (setq flycheck-check-syntax-automatically '(mode-enabled save)))
+#+end_src
* Programming modes
** [[https://github.com/leanprover/lean-mode][Lean]]
("S-SPC" . company-complete)))
#+end_src
-** [[https://github.com/haskell/haskell-mode][Haskell]]
+** Haskell
+
+*** [[https://github.com/haskell/haskell-mode][haskell-mode]]
#+begin_src emacs-lisp
(use-package haskell-mode
haskell-indentation-left-offset 4
haskell-indentation-ifte-offset 4))
#+end_src
+
+*** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
+
+Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
+executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
+
+#+begin_src emacs-lisp
+(use-package hlint-refactor
+ :bind (:map hlint-refactor-mode-map
+ ("C-c l b" . hlint-refactor-refactor-buffer)
+ ("C-c l r" . hlint-refactor-refactor-at-point))
+ :hook (haskell-mode . hlint-refactor-mode))
+#+end_src
+
* Post initialization
:PROPERTIES:
:CUSTOM_ID: post-initialization