[Agda] installing agda on windows

[Ulf Norell]

According to the documentation (
https://agda.readthedocs.io/en/latest/tools/package-system.html#installing-libraries
)
the `.agda` directory is called `C:\Users\USERNAME\AppData\Roaming\agda` on
Windows.

/ Ulf

On Fri, Feb 8, 2019 at 2:44 PM Thorsten Altenkirch <
Thorsten.Altenkirch at nottingham.ac.uk> wrote:

> Hi,
>
>
>
> I am currently running a module using agda and was trying to help a
> student installing agda on windows. So far I have failed but maybe somebody
> can give me some advice. Or better produce an installer that installed
> emacs+agda+libraries on a windows machine.
>
>
>
> The first problem was that agda-locate couldn’t find emacs. Ok, instead I
> just copied the code into .emacs. That seemed to work. However, I had no
> fun with the library. I created the .agda directory with libraries and the
> correct content but no effect. I guess it is looking somewhere else but
> where. When I try to run files from inside the library it complains that it
> cannot update some .agdai files. I guess this may be because the agda
> version and library version don’t match?
>
>
>
> Any advice?
>
>
>
> Cheers,
>
> Thorsten
>
>
>
> P.S.
>
> Agda version 2.5.4.2
>
> windows 10
>
> agda library v.0.17 (I think)
>
>
>
>
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please contact the sender and delete the email and
> attachment.
>
> Any views or opinions expressed by the author of this email do not
> necessarily reflect the views of the University of Nottingham. Email
> communications with the University of Nottingham may be monitored
> where permitted by law.
>
>
>
>
> _______________________________________________
> 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/20190208/b00bd767/attachment.html>