[Agda] literate colours

Martin Escardo m.escardo at cs.bham.ac.uk
Fri May 15 21:47:20 CEST 2015


In a literate Agda file when rendered with agda --html, the comments are
red.

But in the way I use literate Agda, the comments are the substance and
the code is the form of the substance.

The substance shouldn't be red - plain black would work better with me.

How can I change the colours of the substance and the form?

Thanks,
Martin


More information about the Agda mailing list