X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/5ad7f83aa83c6b4ff6aa6057714ba15d47dfaa0a..3f0f8d0130f681bf7f5d8d20d60dc0f8d2c8db04:/init.org?ds=inline

diff --git a/init.org b/init.org
index 7add2c1..56f9fcd 100644
--- 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