[Agda] installing agda

Patricia Peratto psperatto at vera.com.uy
Thu Dec 17 21:24:43 CET 2020


I have installed the following software: 

ghc version 8.6.5 
cabal version 2.4.1.0 
emacs for windows 27.1 

When I execute cabal update it finishes. 
I have executed cabal install Agda many times. 

the last time has answered: 

Starting Agda-2.6.1.2 
Building Agda-2.6.1.2 

and lasts hours without finishing. 

I'm missing some step in the installation? 

Regards, 
Patricia 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20201217/15579b97/attachment.html>


More information about the Agda mailing list