[Agda] Agda and GHC 7.8

[Andrés Sicard-Ramírez]

On 25 September 2014 06:29, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:

> are there any plans to upgrade Agda so that it works with GHC 7.8?
>
>
The latest version of Agda in Hackage works with GHC 7.8.3.


> BTW. It would be really cool to be able to report issues on github.
>

Please report the issues in https://code.google.com/p/agda/issues/list.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140925/f3157bc2/attachment.html