summaryrefslogtreecommitdiff
path: root/init.el
diff options
context:
space:
mode:
Diffstat (limited to 'init.el')
-rw-r--r--init.el2
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