[Agda] Agda and GHC 7.8

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Sep 25 14:23:13 CEST 2014


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

> I wanted to avoid discussing this on list but here goes:


Which is the output of

$ ./configure

?


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


More information about the Agda mailing list