[Agda] syntax highlighting

Martin Escardo m.escardo at cs.bham.ac.uk
Fri Oct 5 14:49:50 CEST 2012


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?



More information about the Agda mailing list