[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