[Agda] syntax highlighting

Francesco Mazzoli f at mazzo.li
Fri Oct 5 14:53:50 CEST 2012


At Fri, 05 Oct 2012 13:49:50 +0100,
Martin Escardo wrote:
> Someone installed Agda in Fedora 17 using "yum install emacs-agda". 
> Everything works except that there is no syntax highlighting in emacs. 
> Does anybody know a possible cause and/or fix for this?

This is an issue I have as well (emacs 23.4, agda installed from hackage) which
is solved by closing and opening the buffer again.  Worth a try... others on the
IRC channel had the same problem.

--
Francesco * Often in error, never in doubt


More information about the Agda mailing list