summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-10-29 23:28:22 -0400
committerAmin Bandali <bandali@gnu.org>2018-10-29 23:28:22 -0400
commit2e7aa30f7e46eabf984adc1018d7ccbdfefecca8 (patch)
tree6e346c6bce4e36e0f0822d2997f21f404a69e368
parentbdf99c0db4a98f1dde69afff7e391286c4526fac (diff)
downloadconfigs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.tar.gz
configs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.tar.xz
configs-2e7aa30f7e46eabf984adc1018d7ccbdfefecca8.zip
[emacs] use lean-input as default input method, toggled with C-\
super handy for inserting logical symbols like ∧,∨,→,↔,≡,≜,∩,∪,λ,∘,⋯
Diffstat (limited to '')
-rw-r--r--init.org8
1 files changed, 6 insertions, 2 deletions
diff --git a/init.org b/init.org
index 75e92ee..3448670 100644
--- a/init.org
+++ b/init.org
@@ -1134,9 +1134,13 @@ TODO: break this giant source block down into individual org sections.
#+begin_src emacs-lisp
(eval-when-compile (defvar lean-mode-map))
(use-package lean-mode
+ :defer 2
:bind (:map lean-mode-map
- ("S-SPC" . company-complete)))
-#+end_src
+ ("S-SPC" . company-complete))
+ :config
+ (require 'lean-input)
+ (setq default-input-method "Lean"))
+ #+end_src
** Haskell