X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/5c2eaaf178d175d275109c7b23451f8a0771c574..d787ff549bf4576862fe1b8109ce0d49c5754e8e:/init.org?ds=sidebyside diff --git a/init.org b/init.org index b4137ec..9192dff 100644 --- a/init.org +++ b/init.org @@ -1066,7 +1066,8 @@ TODO: break this giant source block down into individual org sections. (ab--leader-keys "b s" 'save-buffer "b b" 'ivy-switch-buffer - "b k" 'kill-buffer + "," 'ivy-switch-buffer + "b k" 'kill-this-buffer "q q" 'evil-save-and-quit) #+end_src @@ -1083,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