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

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Dec 18 14:44:10 CET 2014


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141218/40df54a1/attachment.html


More information about the Agda mailing list