1 files changed, 14 insertions, 0 deletions
diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el
new file mode 100644
index 0000000..b463ff6
--- /dev/null
+++ b/emacs/inits/04-input_method.el
@@ -0,0 +1,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")