[Agda] Compiling Standard Library with GHC 7.6

[Nils Anders Danielsson]

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 24.2.50.1.

-- 
/NAD