blob: b463ff6cdfd9a0a741ec54e577ac062ed3422ddc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
;; Time-stamp: <2019-09-11 11:26:28 (tslil@basingstoke)>
(use-package agda-input
:load-path "~/.emacs.d/scripts/"
:config
(dolist (sym '(("chimney" "╝")
("==>" "⟹")
("amalg" "⨿")
("bG" "𝔾")
("bU" "𝕌")))
(add-to-list 'agda-input-user-translations sym))
(agda-input-setup))
(setq-default default-input-method "Agda")
|
