Add :lang agda to init.example.el

2019-04-19 17:06:36 -04:00 · 2019-04-19 17:06:36 -04:00 · e75b7f520a
commit e75b7f520a
parent 0caf0abcbb
1 changed files with 1 additions and 0 deletions
--- a/init.example.el
+++ b/init.example.el
@ -83,6 +83,7 @@
       ;;vterm             ; another terminals in Emacs

       :lang
+       ;;agda              ; types of types of types of types...
       ;;assembly          ; assembly for fun or debugging
       ;;(cc +irony +rtags); C/C++/Obj-C madness
       ;;clojure           ; java with a lisp