[Agda] Version mixup

Sandro Stucki sandro.stucki at gmail.com
Wed Jun 29 12:24:01 CEST 2022

If you're using a Mac, this might be helpful:



On Wed, Jun 29, 2022, 12:02 Nils Anders Danielsson <nad at cse.gu.se> wrote:

> 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.
> --
> /NAD
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220629/816940eb/attachment.html>

More information about the Agda mailing list