[Agda] Windows/Linux versions of Agda

Nils Anders Danielsson nad at cse.gu.se
Fri Sep 27 22:11:31 CEST 2013

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 (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.


More information about the Agda mailing list