blob: fd1367f727e661f874ced5b00d2c4c7f4aa33aa2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
;;; agda site-lisp configuration
(add-to-list 'load-path "@SITELISP@")
(autoload 'agda2-mode "agda2.el"
"Major mode for Agda files" t)
(unless (assoc "\\.agda" auto-mode-alist)
(setq auto-mode-alist
(nconc '(("\\.agda" . agda2-mode)
("\\.alfa" . agda2-mode)) auto-mode-alist)))
|