[Agda] Windows/Linux versions of Agda

Nils Anders Danielsson nad at cse.gu.se
Mon Oct 21 22:09:54 CEST 2013

On 2013-09-27 22:11, Nils Anders Danielsson wrote:
> I've put together a tar-ball for Agda (mainly in order to
> address the bug mentioned above):
>    http://code.haskell.org/Agda/Agda-
> Can anyone test this tar-ball under Windows? I'd like to know if the
> Emacs mode works properly.

Are there no Windows users interested in testing this tar-ball?


More information about the Agda mailing list