[Agda] Poll: maintain support for ghc-7.0 ?!
Andreas Abel
abela at chalmers.se
Thu Dec 18 23:58:32 CET 2014
:) So I do not have to fix the broken compilation for ghc-7.0. Good!
--Andreas
On 18.12.2014 16:47, Edward Kmett wrote:
> 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
> <mailto:asr at eafit.edu.co>> wrote:
>
>
> On 6 December 2014 at 13:44, Andreas Abel <abela at chalmers.se
> <mailto: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 <mailto:Agda at lists.chalmers.se>
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list