[Agda] Version mixup

Philip Wadler wadler at inf.ed.ac.uk
Wed Jun 29 20:15:10 CEST 2022

Thank you to Nils, Jason, and Sandro for your help. Sandro's suggestion has sorted the problem! Go well, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/

On Wed, 29 Jun 2022 at 07:24, Sandro Stucki <sandro.stucki at gmail.com<mailto:sandro.stucki at gmail.com>> wrote:
This email was sent to you by someone outside the University.
You should only click on links or attachments if you are certain that the email is genuine and the content is safe.
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<mailto: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.

Agda mailing list
Agda at lists.chalmers.se<mailto:Agda at lists.chalmers.se>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220629/8206eb1c/attachment-0001.html>

More information about the Agda mailing list