[emacs] add alloy-mode

diff --git a/.gitmodules b/.gitmodules
index b85b7df..2742309 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,9 @@
 [borg]
        pushDefault = aminb
        collective = emacsg
+[submodule "alloy-mode"]
+       path = lib/alloy-mode
+       url = git@github.com:anlun/alloy-mode.git
 [submodule "async"]
        path = lib/async
        url = git@github.com:jwiegley/emacs-async.git

diff --git a/init.org b/init.org
index 85d5709..9192dff 100644 (file)
--- a/init.org
+++ b/init.org
@@ -1084,6 +1084,12 @@ TODO: break this giant source block down into individual org sections.
 #+end_src
 * Programming modes
 
+** Alloy
+
+#+begin_src emacs-lisp
+(use-package alloy-mode)
+#+end_src
+
 ** [[https://github.com/leanprover/lean-mode][Lean]]
 
 #+begin_src emacs-lisp

diff --git a/lib/alloy-mode b/lib/alloy-mode
new file mode 160000 (submodule)
index 0000000..76d9e1d
--- /dev/null
+++ b/lib/alloy-mode
@@ -0,0 +1 @@
+Subproject commit 76d9e1d57cee46bb9caa80b721a6d0bafed1ddfd