From a81db9232492b543525e69e01451374515f835c7 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@aminb.org>
Date: Sat, 5 May 2018 17:14:29 -0400
Subject: [emacs] assimilate haskell-mode

---
 init.org | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'init.org')

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
-- 
cgit v1.2.3-60-g2f50