X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/8c712f0c53f876649ea0e427eb516b80631990a9..a81db9232492b543525e69e01451374515f835c7:/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