diff options
| author | Amin Bandali <amin@aminb.org> | 2018-05-05 17:14:29 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-05-05 17:14:29 -0400 |
| commit | a81db9232492b543525e69e01451374515f835c7 (patch) | |
| tree | 0ff3140f3960c19e3b64da9b586abc625dfa53b4 | |
| parent | 8c712f0c53f876649ea0e427eb516b80631990a9 (diff) | |
| download | configs-a81db9232492b543525e69e01451374515f835c7.tar.gz configs-a81db9232492b543525e69e01451374515f835c7.tar.xz configs-a81db9232492b543525e69e01451374515f835c7.zip | |
[emacs] assimilate haskell-mode
Diffstat (limited to '')
| -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 |