summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitmodules3
-rw-r--r--init.org11
m---------lib/haskell-mode0
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
diff --git a/init.org b/init.org
index 1062c17..84f8408 100644
--- a/init.org
+++ b/init.org
@@ -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