From a81db9232492b543525e69e01451374515f835c7 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 5 May 2018 17:14:29 -0400 Subject: [PATCH] [emacs] assimilate haskell-mode --- .gitmodules | 3 +++ init.org | 11 ++++++++++- lib/haskell-mode | 1 + 3 files changed, 14 insertions(+), 1 deletion(-) create mode 160000 lib/haskell-mode 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 index 0000000..d71cca7 --- /dev/null +++ b/lib/haskell-mode @@ -0,0 +1 @@ +Subproject commit d71cca7f5ddc8178f5fe331563edcefe91cc0bcb -- 2.20.1