[Agda] Windows/Linux versions of Agda

[Nils Anders Danielsson]

On 2013-09-02 21:36, Aaron Stump wrote:
> 1. It would be very nice if the Windows installer was kept up to date
>    with the Linux distribution.

I agree. I think that Makoto, who has been maintaining the Windows
installer for the last five years or so, would be happy if someone else
could take over.

While we're discussing the Windows installer: I would like to know if
you like it as it is (modulo the font issue), or if you would prefer a
variant that didn't include the Haskell Platform and Emacs.

-- 
/NAD