[Agda-dev] Installing Agda

[Juho Kupiainen]

Thanks. Got it working.

pe 8. marrask. 2019 klo 11.17 Jesper Cockx (Jesper at sikanda.be) kirjoitti:

> Hi Juho,
>
> It looks like the Cabal bin directory is not on your path. You can add it
> by running "export PATH=$PATH:$HOME/.cabal/bin" (for the current session)
> or adding this line to ~/.profile (for future sessions). Then you should be
> able to run agda-mode setup to install the agda mode.
>
> -- Jesper
>
> On Thu, Nov 7, 2019 at 7:58 PM Juho Kupiainen <
> juho.lauri.kupiainen at gmail.com> wrote:
>
>> 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.
>> _______________________________________________
>> Agda-dev mailing list
>> Agda-dev at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda-dev
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20191109/c73a1bde/attachment.html>