[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

10 files changed, 32 insertions, 0 deletions

diff --git a/.gitmodules b/.gitmodules
index c46c70e..d300637 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
 [borg]
 	pushDefault = aminb
 	collective = emacsg
+[submodule "async"]
+	path = lib/async
+	url = git@github.com:jwiegley/emacs-async.git
 [submodule "auto-compile"]
 	path = lib/auto-compile
 	url = git@github.com:emacscollective/auto-compile.git
@@ -10,6 +13,9 @@
 [submodule "closql"]
 	path = lib/closql
 	url = git@github.com:emacscollective/closql.git
+[submodule "company"]
+	path = lib/company
+	url = git@github.com:company-mode/company-mode.git
 [submodule "dash"]
 	path = lib/dash
 	url = git@github.com:magnars/dash.el.git
@@ -34,16 +40,28 @@
 [submodule "exwm"]
 	path = lib/exwm
 	url = git@github.com:ch11ng/exwm.git
+[submodule "f"]
+	path = lib/f
+	url = git@github.com:rejeep/f.el.git
+[submodule "flycheck"]
+	path = lib/flycheck
+	url = git@github.com:flycheck/flycheck.git
 [submodule "ghub"]
 	path = lib/ghub
 	url = git@github.com:magit/ghub.git
 [submodule "git-modes"]
 	path = lib/git-modes
 	url = git@github.com:magit/git-modes.git
+[submodule "helm"]
+	path = lib/helm
+	url = git@github.com:emacs-helm/helm.git
 [submodule "ivy"]
 	path = lib/ivy
 	url = git@github.com:abo-abo/swiper.git
 	info-path = doc
+[submodule "lean-mode"]
+	path = lib/lean-mode
+	url = git@github.com:leanprover/lean-mode.git
 [submodule "magit"]
 	path = lib/magit
 	url = git@github.com:magit/magit.git
@@ -60,6 +78,12 @@
 [submodule "packed"]
 	path = lib/packed
 	url = git@github.com:emacscollective/packed.git
+[submodule "popup"]
+	path = lib/popup
+	url = git@github.com:auto-complete/popup-el.git
+[submodule "s"]
+	path = lib/s
+	url = git@github.com:magnars/s.el.git
 [submodule "smex"]  # used by counsel-M-x
 	path = lib/smex
 	url = git@github.com:nonsequitur/smex.git
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
diff --git a/lib/async b/lib/async
new file mode 160000
+Subproject 04e1a2c40bef305450389da540ffe7594964e43
diff --git a/lib/company b/lib/company
new file mode 160000
+Subproject d26ec7182471efcc631bac3c2be122cfcd0f3c4
diff --git a/lib/f b/lib/f
new file mode 160000
+Subproject de6d4d40ddc844eee643e92d47b9d6a63fbebb4
diff --git a/lib/flycheck b/lib/flycheck
new file mode 160000
+Subproject 0c4bbd1f8a48200a23bae365d2a6749a2e84771
diff --git a/lib/helm b/lib/helm
new file mode 160000
+Subproject 56039aaf946265621133f0a142073d0d751c624
diff --git a/lib/lean-mode b/lib/lean-mode
new file mode 160000
+Subproject 6ed7031e14cf9c2c481ac68eeffa4e7733e5842
diff --git a/lib/popup b/lib/popup
new file mode 160000
+Subproject 80829dd46381754639fb764da11c67235fe6328
diff --git a/lib/s b/lib/s
new file mode 160000
+Subproject 03410e6a7a2b11e47e1fea3b7d9899c7df26435