[Agda] exceptions while running Agda on Windows 10 with MingGW MSYS and Cygwin

[Ulf Norell]

I've now successfully tested 2.5.1.1 on Windows 10 with ghc-8.0.1 and
MinGW. But note that 2.5.1 also installs without problems for me.

/ Ulf

On Tue, Jun 21, 2016 at 8:29 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> On 21 June 2016 at 01:14, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> > Will Agda 2.5.1.1 support GHC 8.0 ?
>
> The current plan is support GHC 8.0.1. We are waiting that someone
> test the release candidate with Windows and that version of GHC.
>
>
> --
> Andrés
> La información contenida en este correo electrónico está dirigida
> únicamente a su destinatario y puede contener información confidencial,
> material privilegiado o información protegida por derecho de autor. Está
> prohibida cualquier copia, utilización, indebida retención, modificación,
> difusión, distribución o reproducción total o parcial. Si usted recibe este
> mensaje por error, por favor contacte al remitente y elimínelo. La
> información aquí contenida es responsabilidad exclusiva de su remitente por
> lo tanto la Universidad EAFIT no se hace responsable de lo que el mensaje
> contenga. The information contained in this email is addressed to its
> recipient only and may contain confidential information, privileged
> material or information protected by copyright. Its prohibited any copy,
> use, improper retention, modification, dissemination, distribution or total
> or partial reproduction. If you receive this message by error, please
> contact the sender and delete it. The information contained herein is the
> sole responsibility of the sender therefore Universidad EAFIT is not
> responsible for what the message contains.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160621/1c365317/attachment.html