summaryrefslogtreecommitdiff
path: root/src/data/emacs-mode/agda2.el
blob: 3dc7eb9aeefe72cb1db6d2b4004de7a0334346ae (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Agda mode code which should run before the first Agda file is
;; loaded

(add-to-list 'load-path
              (or (file-name-directory load-file-name) (car load-path)))

(autoload 'agda2-mode "agda2-mode"
  "Major mode for editing Agda files (version ≥ 2)." t)
(add-to-list 'auto-mode-alist '("\\.l?agda\\'" . agda2-mode))
(modify-coding-system-alist 'file "\\.l?agda\\'" 'utf-8)

(provide 'agda2)