[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