[Agda] Emacs with dark background and Agdan

Nils Anders Danielsson nad at chalmers.se
Tue Oct 23 14:07:48 CEST 2012

On 2012-10-23 13:03, Francesco Mazzoli wrote:
> This makes things much better with a dark background, and should be more
> portable across different themes (apart from those two colours).

I think some Agda users want to have support for colour themes
(http://www.nongnu.org/color-theme/) in Agda. This is not high on my
priority list, but patches are welcome.


More information about the Agda mailing list