[emacs] assimilate lean-mode and dependencies

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index 7add2c1..56f9fcd 100644 (file)
--- a/init.org
+++ b/init.org
@@ -754,6 +754,14 @@ TODO: break this giant source block down into individual org sections.
   (setq undo-tree-mode-lighter ""))
 #+end_src
 
+* Programming modes
+
+** Lean mode
+
+#+begin_src emacs-lisp
+(use-package lean-mode)
+#+end_src
+
 * Post initialization
 :PROPERTIES:
 :CUSTOM_ID: post-initialization