path: root/app-emacs/idris-mode/files/50idris-mode-gentoo.el

(add-to-list 'load-path "@SITELISP@")
(add-to-list 'auto-mode-alist '("\\.idr\\'" . idris-mode))
(autoload 'idris-mode "idris-mode" nil t)