[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