From 749bf1b5796da66d8a32800380e185dd63cf89fe Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 21 May 2022 00:43:44 +0200
Subject: unicode font for agda (JuliaMono)

---
 config.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 )
-- 
cgit v1.2.3