[agda] agda2-mode not found and further errors
Nils Anders Danielsson
nad at cse.gu.se
Sun Jan 3 22:19:21 CET 2016
On 2016-01-02 03:49, Mandy Martino wrote:
> i meet error can not find agda2-mode when install again,
>
> then i follow link below
>
> http://www.cse.chalmers.se/~ulfn/darcs/Agda2/_darcs/pristine-old/src/full/Interaction/emacs-mode/README-agda2-mode.txt
This seems to be a /very/ old copy of the Agda repository. Try the
following instructions instead:
http://agda.readthedocs.org/en/latest/getting-started/installation.html
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download
--
/NAD
More information about the Agda
mailing list