[Agda] Poll: maintain support for ghc-7.0 ?!

Andreas Abel abela at chalmers.se
Sat Dec 6 19:44:25 CET 2014


Dear Agda-users,

currently we are supporting Agda on ghc 7.0, 7.4, 7.6, and 7.8.  We 
might consider dropping support for ghc-7.0.

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.

Thanks,
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://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list