msyds/sydnix
1
0
Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity

feat(emacs): support mikan in place of agda

Browse Source
This commit is contained in:
msyds
2026-09-02 08:14:35 -06:00
parent f8936662c2
commit 6527b0a274
1 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
modules/home/users/msyds/emacs/lisp/syd/agda.el
+12 -5
View File
@@ -5,11 +5,18 @@
(defun syd-agda-locate-and-load ()
(interactive)
(let ((agda-mode-path (executable-find "agda-mode")))
(load-file
(shell-command-to-string
(format "%s locate" agda-mode-path))))
(setq agda2-program-name (executable-find "agda")))
(if-let* ((agda-mode-path (executable-find "agda-mode"))
(agda-path (executable-find "agda")))
(progn (load-file
(shell-command-to-string
(format "%s locate" agda-mode-path)))
(setq agda2-program-name agda-path))
(when-let* ((mikan-path (executable-find "mikan")))
(setq agda2-program-name mikan-path)
(load-file
(let ((coding-system-for-read 'utf-8))
(shell-command-to-string
(format "%s --emacs-mode locate" mikan-path))))))))
(defface syd-agda2-default
`((t :font ,(font-spec :family "IBM Plex Sans" :size 17)