[emacs] assimilate haskell-mode

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index 1062c17..84f8408 100644 (file)
--- a/init.org
+++ b/init.org
@@ -933,7 +933,7 @@ TODO: break this giant source block down into individual org sections.
 
 * Programming modes
 
 
 * Programming modes
 

-** Lean mode
+** [[https://github.com/leanprover/lean-mode][Lean]]

 
 #+begin_src emacs-lisp
 (use-package lean-mode
 
 #+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
 
              ("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
 * Post initialization
 :PROPERTIES:
 :CUSTOM_ID: post-initialization