[Agda] Compiling Standard Library with GHC 7.6

[Lyndon Maydwell]

I've got everything up and running now. Thanks for the advice nonetheless.



On Fri, Oct 12, 2012 at 8:58 PM, Nils Anders Danielsson <nad at chalmers.se> wrote:
> 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