diff options
-rw-r--r-- | .gitmodules | 3 | ||||
-rw-r--r-- | init.org | 11 | ||||
m--------- | lib/haskell-mode | 0 |
3 files changed, 13 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index d300637..fdcca20 100644 --- a/.gitmodules +++ b/.gitmodules @@ -52,6 +52,9 @@ [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 @@ -933,7 +933,7 @@ TODO: break this giant source block down into individual org sections. * Programming modes -** Lean mode +** [[https://github.com/leanprover/lean-mode][Lean]] #+begin_src emacs-lisp (use-package lean-mode @@ -941,6 +941,15 @@ TODO: break this giant source block down into individual org sections. ("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 diff --git a/lib/haskell-mode b/lib/haskell-mode new file mode 160000 +Subproject d71cca7f5ddc8178f5fe331563edcefe91cc0bc |