[Agda] Emacs special character input

Carl carlchatfield at gmail.com
Wed Mar 17 04:44:31 CET 2010


Hi guys,
I'm having a hard time getting Emacs special character input for
things like \_1 and \r- working. Right now, things are highlighted
correctly, but if I type a special character sequence it wont get
automatically converted into a subscript for example. Does anyone know
how to turn this on.

Im using aquamacs.

Thanks.

-- 
Carl


More information about the Agda mailing list