[Agda] agda-mode input method

[Frederik Hanghøj Iversen]

I'd like to use the input method that agda-mode ships with in other
major-modes. If I do `M-x set-input-method` Agda does not appear anywhere
on the list. Only after I engage `M-x agda2-mode` (and then change back
again) does it appear on the list.

Can anyone more emacs-savvy than me explain why this is the case?

I can think of at least two useful places to have agda's input method:
Haskell with UnicodeSyntax and latex with \usepackage{unicode-math}.

-- 
Regards
*Frederik Hanghøj Iversen*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180426/b5d67d48/attachment.html>