(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
#+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