Dark Mode Agda Highlighting for Spacemacs and Emacs.
Emacs Lisp
Dark highlighting theme for Agda in Emacs
Syntax highlighting for Agda in Spacemacs or Emacs with dark backgrounds.
Replace or append custom-set-faces in your .emacs or .spacemacs file with this.