Hi all, are there any plans to upgrade Agda so that it works with GHC 7.8? BTW. It would be really cool to be able to report issues on github. I could just post errors I'm getting there instead of spamming on the list (or, even worse, instead of giving up on Agda). Janek