As some of you might have noticed I uploaded 2.4.0.1 to Hackage last week. It mainly fixes a few bugs and adds some things that should have gone in 2.4.0. / Ulf -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20140620/4c61fa94/attachment.html