unicode font for agda (JuliaMono)

1 files changed, 2 insertions, 1 deletions

diff --git a/config.el b/config.el
index c430f77..115eceb 100644
--- a/config.el
+++ b/config.el
@@ -1,6 +1,7 @@
 ;;; -*- lexical-binding: t; -*-
 
-;; (setq doom-font (font-spec :family "Hasklig" :size 15))
+(setq ;; doom-font (font-spec :family "Hasklig" :size 15)
+      doom-unicode-font (font-spec :family "Julia Mono"))
 (load-theme 'doom-palenight t)
 
 (when (version<= "26.0.50" emacs-version )