[Agda] Windows/Linux versions of Agda

[Nils Anders Danielsson]

On 2013-09-04 09:40, Dan Licata wrote:
> For what it's worth, I was teaching Agda at a summer school, and managed
> to help (grad) students get it working on multiple OS'es.  For the most
> part getting the Haskell platform, and then doing a cabal install,
> worked ok, though there was a strange issue with windows that I found a
> workaround for on the bug tracker.  See the installation notes here for
> notes on this: http://www.cs.cmu.edu/~drl/teaching/oplss13/

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.

-- 
/NAD