;; 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")