[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 220.127.116.11 (mainly in order to
> address the bug mentioned above):
> 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