[Agda-dev] Installing Agda

[Juho Kupiainen]

I'm having trouble installing Agda. I've tried

sudo apt install emacs git ghc cabal-install alex happy
cabal update
cabal install Agda
agda-mode setup

But I get "agda-mode: command not found"

I tried
sudo apt-get update
sudo apt-get install agda
sudo apt-get install agda-mode

But for some reason it installs Agda 2.5

I also tried these instructions:
https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes/blob/master/INSTALL.md

But when I start emacs and open an Agda file, it doesn't look like emacs
understands the syntax. There is no Agda menu.

I need something that WILL work.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20191107/ee4ea6ac/attachment.html>