summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <amin@aminb.org>2018-07-04 21:27:48 -0400
committerAmin Bandali <amin@aminb.org>2018-07-04 21:27:48 -0400
commit221cdaa3dff94b6db1a8a412c8ea82c842fa5571 (patch)
tree9dc1eefd4b5648d0e8f09baab4b153e94695b741
parentf82046d8e19313a1ce3d7320754dde3d34672d80 (diff)
downloadconfigs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.gz
configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.tar.xz
configs-221cdaa3dff94b6db1a8a412c8ea82c842fa5571.zip
[emacs] add alloy-mode
-rw-r--r--.gitmodules3
-rw-r--r--init.org6
m---------lib/alloy-mode0
3 files changed, 9 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index b85b7df..2742309 100644
--- 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
--- 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
+Subproject 76d9e1d57cee46bb9caa80b721a6d0bafed1ddf