[Agda] emacs problems

Shin-Cheng Mu scm at iis.sinica.edu.tw
Fri Jun 19 10:44:56 CEST 2009


Dear Nisse,

On Jun 18, 2009, at 7:19 PM, Nils Anders Danielsson wrote:
> Darin had the same setup as you, except that he used GHC 6.10.3. Can  
> you
> see if it works with that version of GHC? GHC 6.10.1 uses editline,
> whereas GHC 6.10.3 uses haskeline.

You are right. It works well after I upgrade to 6.10.3. :)

sincerely,
Shin



More information about the Agda mailing list