2018-08-21 12:46:29 +02:00
|
|
|
;;; lang/agda/config.el -*- lexical-binding: t; -*-
|
|
|
|
|
|
2018-08-22 03:52:53 +02:00
|
|
|
(defvar +agda-dir
|
2018-08-22 03:53:19 +02:00
|
|
|
(when (executable-find "agda-mode")
|
2018-08-25 17:27:42 +02:00
|
|
|
(file-name-directory (shell-command-to-string "agda-mode locate"))))
|
2018-08-21 12:46:29 +02:00
|
|
|
|
2018-08-25 17:27:42 +02:00
|
|
|
(def-package! agda-input
|
|
|
|
|
:load-path +agda-dir)
|
2018-08-21 12:46:29 +02:00
|
|
|
|
2018-08-25 17:27:42 +02:00
|
|
|
(def-package! agda2-mode
|
|
|
|
|
:mode "\\.agda\\'"
|
|
|
|
|
:after agda-input
|
|
|
|
|
:config
|
|
|
|
|
(map! :map agda2-mode-map
|
|
|
|
|
:localleader
|
|
|
|
|
:n "l" #'agda2-load
|
|
|
|
|
:n "d" #'agda2-infer-type-maybe-toplevel
|
|
|
|
|
:n "o" #'agda2-module-contents-maybe-toplevel
|
|
|
|
|
:n "n" #'agda2-compute-normalised-maybe-toplevel))
|
