[Agda] Poll: maintain support for ghc-7.0 ?!

[Edward Kmett]

The silence on that front seemed pretty deafening. :)

-Edward

On Thu, Dec 18, 2014 at 8:44 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:
>
>
> On 6 December 2014 at 13:44, Andreas Abel <abela at chalmers.se> wrote:
>>
>> Just to get an idea whether support for ghc-7.0 is still required, can
>> you reply to this message if you need/want Agda to continue to build on
>> ghc-7.0.
>
>
> ​It seems we can remove support for GHC 7.0.4.​ Right?
>
> --
> Andrés
>
> _______________________________________________
> 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/20141218/5eb5e49c/attachment.html