[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 2.3.2.2 (mainly in order to
> address the bug mentioned above):
>
>    http://code.haskell.org/Agda/Agda-2.3.2.2.tar.gz
>
> 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?

-- 
/NAD


More information about the Agda mailing list