projects
/
~bandali
/
configs
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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
(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
* Post initialization
:PROPERTIES:
:CUSTOM_ID: post-initialization