sci-mathematics/agda/files/50agda-gentoo.el


1
2
3
4
5
6
7
8
9
10

;;; agda site-lisp configuration

(add-to-list 'load-path "@SITELISP@")
(autoload 'agda-mode "agda-mode.el"
          "Major mode for Agda files" t)
(unless (assoc "\\.agda" auto-mode-alist)
  (setq auto-mode-alist
        (nconc '(("\\.agda" . agda-mode)
                 ("\\.alfa" . agda-mode)) auto-mode-alist)))