From juho.lauri.kupiainen at gmail.com Thu Nov 7 19:57:36 2019 From: juho.lauri.kupiainen at gmail.com (Juho Kupiainen) Date: Thu, 7 Nov 2019 20:57:36 +0200 Subject: [Agda-dev] Installing Agda Message-ID: 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: From Jesper at sikanda.be Fri Nov 8 10:17:28 2019 From: Jesper at sikanda.be (Jesper Cockx) Date: Fri, 8 Nov 2019 10:17:28 +0100 Subject: [Agda-dev] Installing Agda In-Reply-To: References: Message-ID: 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: From juho.lauri.kupiainen at gmail.com Sat Nov 9 17:42:06 2019 From: juho.lauri.kupiainen at gmail.com (Juho Kupiainen) Date: Sat, 9 Nov 2019 18:42:06 +0200 Subject: [Agda-dev] Installing Agda In-Reply-To: References: Message-ID: 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: