[Agda] agda-mode input method

[Nils Anders Danielsson]

On 2018-04-26 10:39, Frederik Hanghøj Iversen wrote:
> Is there a way to make agda-input available without loading the Agda
> itself.

The Agda input method is in a separate file, agda-input.el, which can be
loaded independently. For instance, if you want to use the Agda input
method in text mode, then you can include the following commands in your
.emacs:

   ;; Puts the directory with the Agda input method on the load path,
   ;; among other things.
   (load-file (let ((coding-system-for-read 'utf-8))
                   (shell-command-to-string "agda-mode locate")))

   ;; Loads the Agda input method.
   (require 'agda-input)

   ;; Enables the Agda input method when text mode is activated.
   (add-hook 'text-mode-hook
             (lambda nil (set-input-method "Agda")))

-- 
/NAD