[Agda] installing agda on windows

[Xuanrui Qi]

At this point, I would suggest installing Windows Subsystem for Linux
and XMing, and using Agda (& Emacs) from WSL, rather than trying to
configure Agda on Windows. Both Agda and Emacs should work fine under
WSL.

Best,
Ray

-- 
Xuanrui (Ray) Qi

xqi01 at cs.tufts.edu
me at xuanruiqi.com
https://www.xuanruiqi.com

On Fri, 2019-02-08 at 13:43 +0000, Thorsten Altenkirch 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