/usr/share/emacs/site-lisp/agda/agda2.el is in agda-mode 2.4.2.5-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Agda mode code which should run before the first Agda file is
;; loaded
(defvar agda2-directory (file-name-directory load-file-name)
"Path to the directory that contains agda2.el(c).")
(add-to-list 'load-path (or agda2-directory (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)
|