[emacs] assimilate lean-mode and dependencies

lib/async                master                    v1.9.3-1-g04e1a2c
lib/company              master                     0.9.6-23-gd26ec71
lib/f                    master                    v0.20.0
lib/flycheck             master                     31-118-g0c4bbd1f
lib/helm                 master                    v2.9.2-24-g56039aaf
lib/lean-mode            master                    6ed7031
lib/popup                master                    v0.5.3-20-g80829dd
lib/s                    master                     1.12.0-10-g03410e6

1 files changed, 8 insertions, 0 deletions

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