Use Agda's input method in other emacs mode?

Question

How do I use Agda\'s input method to enter unicode characters in non-Agda mode? I don\'t see its name showing up when I try set-input-method. The reason I want to u

Answer 1

Add the following commands in your .emacs file:

;; Using the input method of Agda in LaTeX files.
(require 'agda-input)
(add-hook 'LaTeX-mode-hook
          (lambda () (set-input-method "Agda")))