[Agda] Version mixup

[Nils Anders Danielsson]

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-2.6.2.2
> 
> 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

-- 
/NAD