[Agda] Version mixup
Nils Anders Danielsson
nad at cse.gu.se
Tue Jun 28 11:56:42 CEST 2022
On 2022-06-28 02:02, Philip Wadler wrote:
> I've installed a new version of Agda (126.96.36.199), but emacs agda mode
> keeps using an older version (188.8.131.52).
Perhaps the binaries for Agda 184.108.40.206 did not end up on your PATH.
> Using the "Switch to another version of Agda" option with Version
> 220.127.116.11 gives the error message:
> Could not find agda-mode-18.104.22.168
This command looks for "agda-mode-<version>". If you want to use this
command, then you can for instance install Agda using something like
"cabal install Agda-22.214.171.124 --program-suffix=-126.96.36.199" (assuming that
the binaries end up on your PATH). Note that the Emacs mode by default
uses "agda-mode", without a suffix, even if you used the "Switch to
another version of Agda" command the last time you used Emacs.
More information about the Agda