summaryrefslogtreecommitdiffstats
path: root/init.org
diff options
context:
space:
mode:
authorAmin Bandali <amin@aminb.org>2018-05-05 17:14:29 -0400
committerAmin Bandali <amin@aminb.org>2018-05-05 17:14:29 -0400
commita81db9232492b543525e69e01451374515f835c7 (patch)
tree0ff3140f3960c19e3b64da9b586abc625dfa53b4 /init.org
parent8c712f0c53f876649ea0e427eb516b80631990a9 (diff)
downloadconfigs-a81db9232492b543525e69e01451374515f835c7.tar.gz
configs-a81db9232492b543525e69e01451374515f835c7.tar.xz
configs-a81db9232492b543525e69e01451374515f835c7.zip
[emacs] assimilate haskell-mode
Diffstat (limited to '')
-rw-r--r--init.org11
1 files changed, 10 insertions, 1 deletions
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