[Agda] Agda Installer for Windows

[Makoto Takeyama]

Hello All,

A GUI version of 'one-click' Agda Installer for Windows is ready(?)
for pre-alpha testing.  There is a link at the bottom of Agda Wiki
Download page
http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.Download

This one was prepared by Kuragaki-san using Inno Setup 5.
Like the previous command-line installer, this installs everything
(GHC, extra haskell packages, emacs, fonts, ...) under one directory,
without affecting or relying on what you may or may not have.

The installer may warn you that you need the administrator privilege,
but you can choose to proceed as a restricted user.

The Agda source is the latest as of today.  There is a batch
file for updating Agda in Start Menu.

The bundled GHC is the latest 6.8.3, but compiling Agda seems to
suffer from GHC bug #2240 when you are low on memory (512M physical).

If you know Windows users who should be interested in Agda but haven't
got around to install it, please encourage them to give this one a try.

Best Wishes,
Makoto

-- 
Makoto Takeyama <makoto.takeyama at aist.go.jp>
AIST/CVS (National Institute of Advanced Industrial Science and Technology /
          Research Center for Verification and Semantics)
tel: +81-6-4863-5019   fax: +81-6-4863-5052