<div dir="ltr">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.<div><br></div><div>Can anyone more emacs-savvy than me explain why this is the case?</div><div><br></div><div>I can think of at least two useful places to have agda's input method: Haskell with UnicodeSyntax and latex with \usepackage{unicode-math}.<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div>Regards</div><div><i>Frederik Hanghøj Iversen</i></div></div>
</div></div>