[Agda] Maintain compatibility with ghc 7.8?

Andreas Abel abela at chalmers.se
Tue Mar 28 14:34:08 CEST 2017


Ubuntu 16.04 LTS has ghc-7.10, maybe we can phase out the support of ghc 
7.8 as a platform to compile Agda on?!

If you wish for support of 7.8 still, please raise your voice and give a 
reason.

Best,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/


More information about the Agda mailing list