[Agda] Re: Emacs with dark background and Agdan

[Francesco Mazzoli]

Actually, I pasted the wrong thing, the
`agda2-highlight-inductive-constructor-face' should be

    '(agda2-highlight-inductive-constructor-face ((t (:foreground "#8ae234"))))

which is a light green instead of the red in my original message.

--
Francesco