From 9cccafd513497ea1ea2cb7fa24060033e77f45a5 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 17 Mar 2022 15:03:56 +0100
Subject: add agda

---
 init.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.el b/init.el
index 7c62cef..66e0c1b 100644
--- a/init.el
+++ b/init.el
@@ -110,7 +110,7 @@
        tty               ; improve the terminal Emacs experience
 
        :lang
-       agda              ; types of types of types of types...
+       (agda +local)              ; types of types of types of types...
        ;;cc                ; C/C++/Obj-C madness
        clojure           ; java with a lisp
        ;;common-lisp       ; if you've seen one lisp, you've seen them all
-- 
cgit v1.2.3