[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