diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index f44e235db..ea753aec7 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -16,15 +16,23 @@
    (progn
         (mapc
          (lambda (x) (add-to-list 'face-remapping-alist x))
-         '((agda2-highlight-datatype-face              . font-lock-type-face)
-           (agda2-highlight-function-face              . font-lock-type-face)
-           (agda2-highlight-inductive-constructor-face . font-lock-function-name-face)
-           (agda2-highlight-keyword-face               . font-lock-keyword-face)
-           (agda2-highlight-module-face                . font-lock-constant-face)
-           (agda2-highlight-number-face                . nil)
-           (agda2-highlight-postulate-face             . font-lock-type-face)
-           (agda2-highlight-primitive-type-face        . font-lock-type-face)
-           (agda2-highlight-record-face                . font-lock-type-face))))
+         '((agda2-highlight-keyword-face                 . font-lock-keyword-face)
+           (agda2-highlight-string-face                  . font-lock-string-face)
+           (agda2-highlight-number-face                  . font-lock-string-face)
+           (agda2-highlight-symbol-face                  . font-lock-variable-name-face)
+           (agda2-highlight-primitive-type-face          . font-lock-type-face)
+           (agda2-highlight-bound-variable-face          . font-lock-variable-name-face)
+           (agda2-highlight-inductive-constructor-face   . font-lock-type-face)
+           (agda2-highlight-coinductive-constructor-face . font-lock-type-face)
+           (agda2-highlight-datatype-face                . font-lock-type-face)
+           (agda2-highlight-field-face                   . font-lock-type-face)
+           (agda2-highlight-function-face                . font-lock-function-name-face)
+           (agda2-highlight-module-face                  . font-lock-variable-name-face)
+           (agda2-highlight-postulate-face               . font-lock-type-face)
+           (agda2-highlight-primitive-face               . font-lock-type-face)
+           (agda2-highlight-macro-face                   . font-lock-function-name-face)
+           (agda2-highlight-record-face                  . font-lock-type-face)
+           (agda2-highlight-error-face                   . font-lock-warning-face))))
   :config
   (map! :map agda2-mode-map
                 :localleader