diff --git a/init.example.el b/init.example.el
index 8096291c9..d65856947 100644
--- 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