4 lines
151 B
EmacsLisp
4 lines
151 B
EmacsLisp
(when (executable-find "agda-mode")
|
|
(load-file (let ((coding-system-for-read 'utf-8))
|
|
(shell-command-to-string "agda-mode locate"))))
|