[Agda] Installing Agda

Andreas Abel andreas.abel at ifi.lmu.de
Sat Aug 4 13:41:20 CEST 2012

Hi Jason,

I have once installed Agda on Windows for Peter Aczel, but it is a while 
ago.  I'd install the components separately:

* Haskell platform
* Emacs
* $ cabal install Agda-executable
* $ agda mode setup
* download std.lib, put it somewhere (<stdlib>)
* in <stdlib> $ cabal install
* in <stdlib>/ffi $ cabal install
* in Emacs:
   M-x customize-group agda2
   add "." and <stdlib>/src  to agda2-include-dirs

More detailed instructions are in


That should work.


On 02.08.12 11:47 PM, Jason Gross wrote:
> Hi,
> I'm trying to install Agda on windows 7 using the first installer listed
> on http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Windows.  It
> downloads the haskell installer, and gets a decent chunk of the progress
> bar through running it, and then errors with "Installation failed: Could
> not run
> "C:\Users\JASONG~1\AppData\Local\is-8VVI1.tmp\HaskellPlatform-2011.4.0.0-setup.exe"
> /S".
> I'm not sure if it's relevant, but I'm trying to install agda to
> D:\Program Files (x86)\..., rather than my C:\ drive, because my C drive
> only has ~400 MB of free space.  (Does the haskell installer default to
> the default drive in the registry, or the location given to the Agda
> installer?  Is there a way to change this?)
> How do I get Agda to install?
> Thanks in advance.
> -Jason
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de

More information about the Agda mailing list