[Agda] Agda and GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Thu Sep 25 13:29:25 CEST 2014


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


More information about the Agda mailing list