diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-10-29 23:28:22 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-10-29 23:28:22 -0400 |
| commit | 2e7aa30f7e46eabf984adc1018d7ccbdfefecca8 (patch) | |
| tree | 6e346c6bce4e36e0f0822d2997f21f404a69e368 | |
| parent | bdf99c0db4a98f1dde69afff7e391286c4526fac (diff) | |
| download | configs-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.org | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 |