[Agda] Agda and GHC 7.8

[Andrés Sicard-Ramírez]

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

> > The latest version of Agda in Hackage works with GHC 7.8.3.
> Not for me. :-(


I cannot help without more information.

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