[Agda] Version mixup

Nils Anders Danielsson nad at cse.gu.se
Wed Jun 29 12:02:48 CEST 2022

On 2022-06-29 01:16, Philip Wadler wrote:
> Aha! I wondered how to check what path Emacs is using. Answer below.

The path /Users/wadler/.cabal/bin is not listed. A simple fix might be
to start Emacs from a terminal. I guess the root problem is that (part
of) the customisation of your PATH only takes place when a shell is
started, rather than when you log in.


More information about the Agda mailing list