[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