(set-keyboard-coding-system nil) (global-set-key [(control h)] 'delete-backward-char) (add-to-list 'load-path "/Users/merijn/Downloads/OPLSS/evil-evil") (require 'evil) (evil-mode 1) (load-file (let ((coding-system-for-read 'utf-8)) (shell-command-to-string "agda-mode locate"))) (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(agda2-include-dirs (quote ("." "/Users/merijn/Downloads/OPLSS/agda-prelude/src")))) (custom-set-faces ;; custom-set-faces was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. ) (add-hook 'evil-insert-state-entry-hook (lambda () (set-input-method "Agda"))) (add-hook 'evil-insert-state-exit-hook (lambda () (set-input-method nil))) ;;; Maps C-c C- to \