[Agda] Version mixup

Nils Anders Danielsson nad at cse.gu.se
Tue Jun 28 21:38:44 CEST 2022

On 2022-06-28 17:20, Philip Wadler wrote:
> Thanks! I tried what you suggested, but am still getting the same
> error message.
>   Could not find agda-mode-
> Listing from the call to cabal appears below, for completeness, along
> with my current $PATH.

Please also check what the value of the Emacs variable exec-path is:

   C-h v exec-path RET


More information about the Agda mailing list