[Agda] Compiling Standard Library with GHC 7.6

Nils Anders Danielsson nad at chalmers.se
Fri Oct 12 14:58:53 CEST 2012

On 2012-09-17 03:32, Lyndon Maydwell wrote:
> Is there a working Agda config file for Emacs 24.1.1?

The current development version seems to work under Emacs


More information about the Agda mailing list