[Agda] how to count 0..n-1
Dominique Devriese
dominique.devriese at gmail.com
Fri Feb 18 16:10:48 CET 2011
Nils,
2011/2/18 Nils Anders Danielsson <nad at chalmers.se>:
>> Emacs also doesn't let you use the agda input mode in the interactive
>> search, which is very annoying.
>
> Yes it does, at least under Emacs 23.2.1. From the help message for C-s:
>
> "If an input method is turned on in the current buffer, that input
> method is also active while you are typing characters to search. To
> toggle the input method, type C-\. It also toggles the input method in
> the current buffer."
Oh, it does indeed seem to work if I turn off viper (vi emulation in
Emacs).
Dominique
More information about the Agda
mailing list