[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