[Agda] Agda and GHC 7.8

[Andrés Sicard-Ramírez]

On 27 September 2014 00:27, Liam O'Connor <liamoc at cse.unsw.edu.au> wrote:

> I am also having the exact same problem as Janek building Agda within a
> cabal sandbox,


I couldn't reproduce the issue using a cabal sandbox.


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