add agda

1 files changed, 1 insertions, 1 deletions

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