[Agda] installing agda on windows

[Thorsten Altenkirch]

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.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190208/527fc368/attachment.html>