[submodule "git-modes"]
path = lib/git-modes
url = git@github.com:magit/git-modes.git
+[submodule "haskell-mode"]
+ path = lib/haskell-mode
+ url = git@github.com:haskell/haskell-mode.git
[submodule "helm"]
path = lib/helm
url = git@github.com:emacs-helm/helm.git
* Programming modes
-** Lean mode
+** [[https://github.com/leanprover/lean-mode][Lean]]
#+begin_src emacs-lisp
(use-package lean-mode
("S-SPC" . company-complete)))
#+end_src
+** [[https://github.com/haskell/haskell-mode][Haskell]]
+
+#+begin_src emacs-lisp
+(use-package haskell-mode
+ :config
+ (setq haskell-indentation-layout-offset 4
+ haskell-indentation-left-offset 4
+ haskell-indentation-ifte-offset 4))
+#+end_src
* Post initialization
:PROPERTIES:
:CUSTOM_ID: post-initialization