[Agda] hints on switching between Agda versions

[Nils Anders Danielsson]

On 2016-11-17 14:08, Adam Sandberg Eriksson wrote:
>> What I haven't managed to find out yet is how to change the default version of Agda used by emacs.
>
> There is a customisation option “Agda2 Program Name” in the emacs mode which you can set from
>   M-x customize-group agda2
> or by putting
>   (setq agda2-program-name “path”)
> in your emacs config.

You should also ensure that a matching instance of the Agda mode is
loaded. You could for instance edit the following code, which is
presumably located in your .emacs file:

   (load-file (let ((coding-system-for-read 'utf-8))
                   (shell-command-to-string "agda-mode locate")))

-- 
/NAD