[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