From e75b7f520a6c76e1be89a3e6b0cd8f03d328f88a Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Fri, 19 Apr 2019 17:06:36 -0400
Subject: [PATCH] Add :lang agda to init.example.el

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

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